SINCC4B
EC Automates
UE projet tutoré/mémoire
UE mener un projet de recherche avec une démarche scientifique
DESCRIPTION
ORGANISATION
FORMATIONS
Contenu
Mise à niveau : Automates finis et langages réguliers.
Logiques FO et MSO sur les mots finis et infinis.
Théorème de Büchi : équivalence automates finis et logique MSO.
Langages apériodiques : méthodes algébriques pour décider la logique FO
Automates de Büchi : propriétés de clôture, de décision, lien avec MSO.
Logique LTL : model-checking via automates de Büchi alternants.
Automates pondérés : problème d’équivalence (décidabilité sur un corps, indécidabilité sur le semi-anneau tropical).
Langue(s) d'enseignement
Français
Volume des enseignements
Cours magistraux: 17 heures
Travaux dirigés: 10 heures
Volume total: 27 heures
Responsables pédagogiques:
MONMEGE Benjamin
Codes APOGÉE
SINCC4BL [ELP]
Les formations qui utilisent cet enseignement
Rechercher...
