Home Admin Users Lecons Dvpts Versions Dvpt Versions Lecon Livres

Version #483 de développement

Lecon ID : 1344
User ID : 135
Comment : Fichier : 2016_914.pdf
Références :
Calculabilité et décidabilité - Autebert
Langages formels, Calculabilité et Complexité - Carton
Introduction to the theory of computation - Sipser
Introduction à la calculabilité - Wolper
✏️ Modifier