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.