Semaine du 24-28 Septembre
Généralités

Semaine du 1-5 Octobre
Expressions rationnelles

Semaine du 8-12 Octobre
Passage automate -> expression rationnelle, Lemme de l'étoile

Semaine du 15-19 Octobre
Simplification d'automates: automates déterministes complets et incomplets

Semaine du 22-26 Octobre
Automates non-déterministes. Déterminisation d'automates.

Semaine du 29 Octobre - 2 Novembre
Automates normalisés, Théorème de Kleene
Devoir surveillé

Semaine du 5-9 Novembre
Automate minimal

Semaine du 12-16 Novembre
Automate généralisé
Devoir surveillé

Semaine du 19-23 Novembre
Machines de Turing
Partiel : Consulter l'amphi sur les panneaux d'affichage

Semaine du 3-7 Décembre
Machines de Turing à plusieurs bandes

Semaine du 10-14 Décembre
Ensembles dénombrables. Machines de Turing qui énumèrent.

Semaine du 17-21 Décembre
Machines de Turing non déterministes.

Semaine du 7-11 Janvier
Machines de Turing universelles et propriétés de fermeture.

Lundi 17 Décembre: devoir surveillé

Mardi 29 Janvier, de 13h30 à 15h30
Examen en amphis 34A et 34B