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 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] | ||
| + | |||
| + | |||
| + | == Développements == | ||
| + | <DynamicPageList> | ||
| + | category = Développement de la leçon 914 | ||
| + | </DynamicPageList> | ||
[[Category:Leçon d'informatique]] | [[Category:Leçon d'informatique]] | ||
Version du 26 février 2015 à 21:53
Attention pour le théorème de Rice :
Complément de cours : [1]
