L3 Logique et Calculabilité juin 2005

Épreuve de Calculabilité
2004-2005 1 heure - documents autorisés

1) Croissance rapide. . . (3 pts)

a) En partant seulement de la fonction zéro, du successeur, des projection, de la com-
position et du schéma de récursion primitive, montrer que les fonctions suivantes sont
primitives récursives :

d:n →
7 2n ,
e:n → 7 2n ,
2
..
2.
t : n 7→ 2 .

Dans la dernière fonction, 2 est mis n fois à la puissance 2. Par exemple t(0) = 1, t(1) = 2,
t(2) = 4, et t(3) = 16.
b) Sachant que la multiplication est primitive récursive, montrer que la fonction suivante
est récursive :

l : n 7→ blog(n)c ,

où log est le logarithme à base 10 et b.c la partie entière.

2) Renversantes machines de Turing. . . (3 pts)

a) Proposer un algorithme pour machine de Turing afin de réaliser la fonction suivante :
r
{0, 1}∗ −→ {0, 1}∗
m = m1 m2 . . . mk 7−→ r(m) = t m = mk . . . m2 m1 .

b) Écrire le code d’une machine de Turing implantant cet algorithme.

3) Castors affairés. . . (4 pts)

Soit Fn l’ensemble des fonctions récursives définies en 0, et réalisables par une machine
de Turing à au plus n états. Soit la fonction suivante (Bb pour Busy beaver) :

Bb
N −→ N
n 7−→ max f (0) .
f ∈Fn

a) Montrer que la fonction Bb est bien définie.

b) En considérant la fonction β = Bb + 1 montrer que la fonction Bb ne peut être
récursive.