TD no 1 - Grammaires

Langages formels, calculabilité et complexité. Vuibert, 2008. ... Cours et exercices d'informatique. ... cf. preuve de la proposition Correction.