Langages définissables en logique du second ordre monadique




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

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/]

Catégories Pas de Catégories



Retour en haut