Le contrôle des connaissances est basé sur la participation aux TD et TP, sur un contrôle continu intermédiaire (fin oct.) et un contrôle continu terminal (mi-janv.).
Le calcul de la note finale pondère le tout respectivement par 1/6, 2/6 et 3/6.
Un éventuel contrôle flash supplémentaire pourrait agir comme bonus sur la note de CC intermédiaire.
Une feuille manuscrite est autorisée à chaque contrôle, hors flash.
Automates finis déterministes : Cours 1 et TD 1
Théorème de Kleene : Cours 2 et TD 2
Expressions régulières et générateur d'analyseurs lexicaux (Flex) : TP 1 et sa correction.
Automate fini minimal : Cours 3 et TD 3
Grammaires régulières : Cours 4 et TD 4
Algorithmes de reconnaissance de motifs : TP 2 et son squelette
Clôture des langages rationnels : Cours 5 et TD 5
Grammaires non-contextuelles : Cours 6 et TD 6
Algorithmes de reconnaissance de motifs (suite) : TP 3
Grammaires non-contextuelles (suite) : Cours 7 et TD 7
Automates à pile : Cours 8 et TD 8
Compression de texte : TP 4 et son matériel
Automates à pile (suite) : Cours 9 et TD 9
Clôture des langages algébriques : Cours 10 et TD 10
Compression de texte (suite) : TP 5 et son matériel
Machines de Turing : Cours 11 et TD 11
Automates cellulaires : Cours 12, TD 12 et TP 6 (simulateurs mjcell et golly)