portrait
L3 Info / L3 Math-Info

Automne 2018

Automates & Langages


COURS & TD


Cours 18h : S. Julia, TD 18h : E. Lozes, 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.


La seconde session aura lieu en juin.

Langages rationnels : 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

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

Clôture des langages hors-contexte : Cours 10 et TD 10

Machines de Turing : Cours 11 et TD 11

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


Annales

2017-18 : octobre, flash, décembre.
2018-19 : octobre, flash, flash bis, janvier (correction).