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
