< Calculabilité et complexité
La leçon présente
- les extensions des machines de Turing, notamment aux machines de Turing non déterministes ;
- la récursivité (au sens de Turing) et mu-récursivité (au sens de Church) ;
- la Thèse de Church-Turing ;
- la machine de Turing universelle et la non-calculabilité ;
- des exemples de problèmes indécidables, classes de complexité : P, NP et EXP, NP-complétude.
Cet article est issu de Wikiversity. Le texte est sous licence Creative Commons - Attribution - Partage dans les Mêmes. Des conditions supplémentaires peuvent s'appliquer aux fichiers multimédias.