L3 Informatique /
L3 Math-Info
Automne 2025
Automates & Langages
Site Moodle   6 ECTS  
Cours (12x1h30) : S. Julia TD (12x2h), TP (6x2h) : O. Baldellon, S. Julia
Contrôle des connaissances :
- contrôle continu 20 oct. (30%)
- évaluations TP (20%)
- contrôle terminal (50%)
Le contrôle continu aura lieu lundi 20 octobre de 13h15 à 14h45 (à 15h15 pour les tiers-temps) en amphi Informatique.
Au programme les cours 1 à 7 et les TD 1 à 7. Une feuille manuscrite recto est autorisée pour seul document.
Ni cours, ni TD et ni TP cette semaine-là.
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
TP
Générateurs d'analyseurs lexicaux :
TP 1
Algorithmes de reconnaissance de motifs :
TP 2
Algorithmes de reconnaissance de motifs (suite) :
TP 3
Annales
2024-25 :
novembre,
janvier.