Site officiel du LSV

TD Langages formels 2012

Les travaux dirigés ont été assurés par Malika Izabachene et Guillaume Scerri.

1. Automates finis
2. Minimisation - Reconnaissance par morphismes
3. Automates d'arbres
4. Automates d'arbres (2)
5. Grammaires algébriques
6. Grammaires algébriques (2)
7. Formes normales et complexité
8. Formes normales et complexité (2)

• Devoir 1

À propos du LSV

• Actualités
• Membres
• Recherche
• Séminaires
• Enseignement
• Contact