Langages formels
Feuilles de TD remises aux étudiants de licence informatique :
TD1 : Langages et grammaires ps
TD2 : Grammaires algébriques ps
TD3 : Preuves de langages engendrés ps
TD4 : Clôtures de Alg(X*) et construction d'automates ps
TD5 : Complémentaire et déterminisation d'automates ps
TD6 : Clôture de Rec(X*) par produit et lemme de l'étoile ps
TD7 : Applications siur les automates ps
TD8 : Automate minimal ps
TD9 : Expressions rationnelles et résiduels ps
TD10 : Automates à pile ps
TD11 : Automates à pile ps