914 -- Décidabilité et indécidabilité. Exemples. : Différence entre versions

De AgregmathKL
Aller à : navigation, rechercher
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:Leçons d'informatique]]
+
[[Category:Leçon d'informatique]]

Version du 16 décembre 2014 à 20:13

Attention pour le théorème de Rice : \emptyset \not =\{\emptyset \}

Complément de cours : [1]