Martin Bodin — Langages formels


Travaux dirigés

Les fichiers LaTeX utilisent le fichier d’en-têtes suivant pour compiler.

TD 6 : Lemme de l’étoile et Lemme d’Ogden

TD 7 : Langages Algébriques et Automates à Pile