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.