914 -- Décidabilité et indécidabilité. Exemples. : Différence entre versions
De AgregmathKL
m (Remplacement de texte — « Category:Leçons d'informatique » par « Category:Leçon d'informatique ») |
|||
Ligne 4 : | Ligne 4 : | ||
Complément de cours : [http://www-igm.univ-mlv.fr/~desar/Cours/automates/ch8.pdf] | Complément de cours : [http://www-igm.univ-mlv.fr/~desar/Cours/automates/ch8.pdf] | ||
− | [[Category: | + | [[Category:Leçon d'informatique]] |
Version du 16 décembre 2014 à 20:13
Attention pour le théorème de Rice :
Complément de cours : [1]