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 2008–2009.

Travaux dirigés

  1. Langages rationnels
  2. Grammaires syntagmatiques et contextuelles
  3. Parenthèses, ambiguïté, itération
  4. Formes normales, analyse syntaxique
  5. Automates à pile
  6. Langages déterministes, langages simples
  7. Grammaires LL(k)
  8. Grammaires LR(0) et SLR(k)
  9. Grammaires attribuées
  10. Grammaires LALR(k), archive avec un exemple pour GNU bison
  11. Automates d'arbres
  12. Automates d'arbres, cheminants, alternants
  13. Fonctions séquentielles

Devoirs

  1. Automates étendus
  2. Langages et flux balisés

À propos du LSV

Liens utiles