Etude de machines de turing et complexite algorithmique

Studies of turing machines and computational complexity

• Auteur / Autrice : Pascal Michel
• Direction : Jean-Louis Krivine
• Type : Thèse de doctorat
• Discipline(s) : Logique et fondements de l'informatique
• Date : Soutenance en 1992
• Etablissement(s) : Paris 7

Résumé

La these est constituee de trois parties independantes. Premiere partie: comportement de quelques castors affaires et probleme ouvert en theorie des nombres. Un castor affaire est une machine de turing qui prend beaucoup de temps pour s'arreter quand elle part de la bande vide. Un lien est etabli entre le probleme de l'arret pour plusieurs castors affaires et le probleme de l'evolution des iterees d'une fonction definie par cas selon des congruences. Deuxieme partie: complexite de theories logiques contenant la relation de coprimalite. Des majorants sont donnes pour la complexite algorithmique de plusieurs theories logiques, dont la theorie de l'ensemble des naturels muni de la relation de coprimalite, avec ou sans la relation d'egalite. Troisieme partie : un langage np-complet accepte en temps lineaire par une machine de turing a une seule bande