Automates, langages & calculabilité - LAMP | EPFL

22 nov. 2004 ... Introduction à la calculabilité ? Cours et exercices corrigés. Dunod, Paris, 2001. ... 2.1 Automates finis déterministes . ... 2.8 Minimisation des automates . ... Cependant, le livre principal est [HMU03] qui est recommandé.


Un extrait du document