TD Langages Formels

Cours de Paul Gastin, travaux dirigés animés par Sylvain Schmitz. Département d'informatique de l'ENS Cachan, L3. Année 2009–2010.

Travaux dirigés

  1. Langages reconnaissables/rationnels
  2. Minimisation
  3. Automates d'arbres (problèmes de décision, langages déterministes descendants)
  4. Automates d'arbres (itération, alternance)
  5. Reconnaissance par morphisme, minimisation des automates d'arbres, homomorphismes d'arbres
  6. Grammaires syntagmatiques
  7. Grammaires algébriques : langage local d'arbres, lemme d'Ogden, ALGOL 60
  8. Formes normales, théorème de Chomsky-Schützenberger, analyse syntaxique
  9. Automates à pile
  10. Langages déterministes, langages simples
  11. Fonctions séquentielles
  12. Minimisation de fonctions séquentielles
  13. Grammaires LL(k)
  14. Grammaires LR(k), SLR(k), LALR(k)

Devoirs

  1. Automates et XML
  2. Grammaires de quotients

À propos du LSV

    

Liens utiles