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

Version du 4 novembre 2014 à 18:05

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

Complément de cours : [1]

Version du 4 novembre 2014 à 14:48 (voir la source) Mathias Millet (discuter \| contributions) ← Modification précédente		Version du 4 novembre 2014 à 18:05 (voir la source) Mathias Millet (discuter \| contributions) Modification suivante →
Ligne 3 :		Ligne 3 :

	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]]