LOGIQUE, THÉORIE DES MODÈLES ET COMPLEXITÉ (LTMC ...

Construire un automate fini non déterministe à 4 états dont le langage reconnu
est l'ensemble des mots ... Corrigé de l'examen du 9 février 2011 (60 min.).

Part of the document