Langages définissables en logique du second ordre monadique

Carte non disponible

Date/heure
Date(s) - 22/01/2015
11 h 00 min - 12 h 00 min

Catégories Pas de Catégories


Cet exposé a pour but de présenter les liens entre Logique et Automates. Je commencerai par présenter les résultats “historiques” de Büchi et Rabin sur les équivalences entre logique du Second Ordre Monadique et Automates finis de mots et d’arbres, puis présenterai des résultats plus récents sur les automates à pile et automates à pile d’ordre supérieur.

[http://pageperso.lif.univ-mrs.fr/~severine.fratani/]

Olivier CHABROL
Posts created 14

Articles similaires

Commencez à saisir votre recherche ci-dessus et pressez Entrée pour rechercher. ESC pour annuler.

Retour en haut
Secured By miniOrange