Exercices
  Exercices d'INF232 (L2)
  1. Corrigé de l'examen 2013
  2. Corrigé de certains exercices d'INF232 : 11, 12, 13, 14.2, 22, 31, 35, Vrai/Faux,
  3. Rédaction d'une preuve de l'irrégularité d'un langage - utilisation du lemme de pompage : modèle
  4. Langages réguliers/irréguliers : sujet, corrigé
  Exercices d'A&G (RICM3)
  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é
  4. Grammaires attribuées - TD/TP - réalisation d'un compilateur optimisant :
    Sujet + squelettes de programme à compléter (skl.tar) + corrigé (src.tar)
  Exercices supplémentaires illustrant un point délicat. Les * indiquent le niveau de difficultés
  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
Responsable du site : Michaël PÉRIN