portrait
L3 Info / L3 Math-MI

2016-17 - semestre d'automne

Automates & Langages


COURS & TD


Cours 18h et TD 18h : S. Julia, J. Provillard, C. Stolze

Contrôle des connaissances :

Une feuille manuscrite est autorisée à chaque examen, hors flash.
Une séance de soutien sera proposée avant chaque examen, hors flash.


Examen de session 2 : mercredi 7 juin de 13h à 14h30 en amphi Géologie
Une feuille manuscrite A4 autorisée pour seul document.

Automates finis déterministes : Cours 1 et TD 1

Théorème de Kleene : Cours 2 et TD 2

Automate fini minimal : Cours 3 et TD 3

Grammaires régulières : Cours 4 et TD 4

Clôture des langages rationnels : Cours 5 et TD 5

Grammaires hors-contexte : Cours 6 et TD 6

Grammaires hors-contexte (suite) : Cours 7 et TD 7

Automates à pile : Cours 8 et TD 8

Et aussi :

Automates à pile (suite) : Cours 9 et TD 9

Clôture des langages algébriques : Cours 10 et TD 10

Machines de Turing : Cours 11 et TD 11

Automates cellulaires : Cours 12, TD 12 (simulateurs : golly, MCell)


Annales

2014-15 : novembre, décembre, janvier.
2015-16 : octobre, novembre, décembre.
2016-17 : novembre, janvier (correction).