• Connexion

en fr

Langages formels

• Introduction
• Automates finis
• Résiduels et minimisation
• Expressions rationnelles
• Monoïdes et morphismes
• Congruence syntaxique
• Grammaires
• Hauteur(s) d'étoiles

Algo 2

• TD 1
• Corrigé 1
• TD 2
• Corrigé 2
• TD 3
• Corrigé 3
• TD 4
• Corrigé 4
• TD 5
• Corrigé 5
• TD 5 bis
• Corrigé 5 bis
• TD 6
• Corrigé 6
• TD 7
• Corrigé 7

Contact

LMF - Laboratoire Méthodes Formelles
Université Paris-Saclay, CNRS, ENS Paris-Saclay
4 avenue des Sciences
91190 Gif-sur-Yvette, France

Phone: +33 (0)1 81 87 54 50

Mail : contact@lmf.cnrs.fr