Module « Théorie des automates »
Volume horaire
- 14 heures de cours magistral.
- 10 heures de travaux dirigés.
Description du module
- Approche algébrique des automates (demi-groupes, monoïdes, congruence,...).
- Langages, expressions et automates (conversion, minimalité, dérivation).
- Reconnaissance par morphisme, monoïde syntaxique et monoïde de transitions.
- Relation de Green (propriétés et algorithmes).
- Propriétés algébriques de sous-familles des langages rationnels.