Je m'inscris

1. Polycopié des exercices d'A&G
2. Preuve de correction partielle de programme : sujet, solution
3. Révision de définition sur les langages : sujet, corrigé

1. (**) pièges de la minimisation
2. (**) exo-LANG-autant-de-a-que-de-b-irregulier: sujet, corrigé
3. (*/**) exo-LANG-revision-definitions-sur-les-langages: sujet, corrigé partiel
4. (*/***) exo-LANG-RAISONNEMENT-sur-les-langages: sujet, corrigé partiel
5. (*) exo-AUT-minimisation-et-denombrement: sujet, corrigé partiel
6. (**) exo-AUT-RAISONNEMENT-egalite-de-langages-et-minimisation: sujet, corrigé partiel
7. Grammaires attribuées - TD/TP - réalisation en Ocaml d'un compilateur optimisant :
   Sujet + squelettes de programme à compléter (skl.tar) + corrigé (src.tar)