914 -- Décidabilité et indécidabilité. Exemples. : Différence entre versions
De AgregmathKL
| Ligne 1 : | Ligne 1 : | ||
Attention pour le théorème de Rice : | Attention pour le théorème de Rice : | ||
<math> \emptyset \not = \{ \emptyset \} </math> | <math> \emptyset \not = \{ \emptyset \} </math> | ||
| + | |||
| + | Complément de cours : [http://www-igm.univ-mlv.fr/~desar/Cours/automates/ch8.pdf] | ||
Version du 4 novembre 2014 à 13:48
Attention pour le théorème de Rice :
Complément de cours : [1]
