Cours Logique avancée M1 Master Info Nice Sophia Antipolis 2019
Table des matières
1 Notes de cours et planning prévisionnel
| Transparents | Exercices | |
|---|---|---|
| 15/04 | Automates finis | sujet |
| 16/04 | Logique, WMSO | sujet |
| 23/04 | Arithmétique de Presburger, Mona | suite du sujet précédent |
| 30/04 après-midi | Automates alternants | sujet |
| 7/05 matin | Jeux | suite du sujet précédent |
| 14/05 matin | Automates d'arbre | sujet |
| 20/05 après-midi | Automates de Buchi | sujet |
| 21/05 matin | Complémentation |
2 Exercices de programmation
- exercice 1 : ecrire une fonction match(regexp, mot) qui teste si un mot respecte une expression régulière
- exercice 2 : ecrire un solveur de jeux d'accessibilité (cf instructions à la fin des transparents du cours du 7/05)
3 Ressources extérieures:
- Le livre d’Olivier Carton (en français) contient tous les pré-requis pour ce cours (et pas seulement concernant les automates).
- les notes de cours de W. Thomas sur les liens entre MSO sur les mots et les automates
- la page du cours de M. Mio et D. Kuperberg à l’ENS Lyon donne un grand nombre de pointeurs supplémentaires
- Une référence très complète sur les automates finis est le livre de Jacques Sakarovitch (en anglais)