Contrôle des connaissances :

• contrôle continu (30%) : 23 oct.
• évaluations TP (20%) : 4 et 11 déc.
• contrôle terminal (50%) : 10 janv.

L'examen de session 2 aura lieu mi-juin.

COURS & TD

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 et TD 12 (simulateur : golly)

TP

Générateurs d'analyseurs lexicaux : TP 1

Algorithmes de reconnaissance de motifs : TP 2

Algorithmes de reconnaissance de motifs (suite) : TP 3

Algorithme de distance d'édition : TP 4

Compression de texte : TP 5

Automates cellulaires : TP 6

Annales

2022-23 : octobre, janvier.

2023-24 : octobre, janvier (correction).