Contrôle des connaissances :

• contrôle continu (30%) : 4 nov.
• évaluations TP (20%) : 13 déc.
• contrôle terminal (50%) : 9 janv.

L'examen terminal aura lieu jeudi 9 janvier de 8h à 9h30 en amphi Informatique (à 10h pour les tiers-temps).
Au programme les cours et TD 1 à 12. Une feuille manuscrite est autorisée pour seul document.

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

2023-24 : octobre, janvier.

2024-25 : novembre.