MP/MP*: Option Informatique
Devoir surveillé du jeudi 6 décembre 2007
Trois exercices indépendants



Trois exercices pour ce court texte:

  • langages rationnels: deux opérateurs indétressants
  • langages rationnels: un automate fini qui compte modulo 5
  • circuits logiques (sujet pillé sur le site de mon ami Stéphane Gonnord)

Les questions 2 et 3 du premier exercice sont les plus intéressantes; elles proviennent du livre de Michael Sipser Introduction to the Theory of Computation.