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