Langages et systèmes formels

Supports de cours

• CM 0 : Introduction
• CM 1 : Mots, langages et automates
• CM 2 : Opérations sur les automates finis
• CM 3 : Expressions rationnelles
• CM 4 : Automates finis déterministes
• CM 5 : Minimisation des automates finis
• CM 6 : Grammaires
• CM 7 : Reconnaissabilité

Sujets de TD

• TD 1 : Mots, langages, et automates
• TD 2 : Opérations sur les automates finis
• TD 3 : Expressions rationnelles
• TD 4 : Automates finis déterministes
• TD 5 : Minimisation
• TD 6 : Grammaires
• TD 7 : Reconnaissabilité - Révisions

Évaluation

Examen final : le vendredi 29 mars à 16h.