Examen du cours de L3: logique et calculabilité tions ont des solutions tr`es courtes (moins d'une page de corrigé pour l'
ensemble des 7 premi`eres questions). La derni`ere question est bonus.. Pour
chacun ...
Corrigé des exercices - Info-llg option informatique. Corrigé des exercices. ? Automates finis déterministes. £. ¢. ¡
. Exercice 1. 1. Le langage des mots contenant au moins une fois la lettre a : q0.