Langages définissables en logique du second ordre monadique
Date(s) : 22/01/2015 iCal
11h00 - 12h00
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
