portrait
L3 Info / L3 Math-MI

Automne 2017

Automates & Langages


COURS & TD


Cours 18h, TD 18h : S. Julia

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.

Le contrôle-flash aura lieu le 4 décembre au début du cours 12 pendant 15 mn.

L'examen terminal aura lieu le 19 décembre de 14h à 15h30 en amphi Chimie.
Une séance de soutien aura lieu avant (à préciser).

Langages rationnels et automates finis : 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 non-contextuelles : Cours 6 et TD 6

Grammaires non-contextuelles (suite) : Cours 7 et TD 7

Automates à pile : Cours 8 et TD 8

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



Annales

2015-16 : octobre, novembre, décembre.

2016-17 : novembre, janvier.

2017-18 : octobre (correction).