Universit´e Bordeaux 1. Master Sciences & Technologies,
Informatique. Examen Mod`eles de calcul IN7W11, ann´ee
2012-2013, session 1. Date : 13 d´ecembre 2012, 14h-17h (dur´ee 3h).
Documents autoris´es : 2 feuilles format A4, recto-verso.
Le bar`eme est indicatif, `a noter qu’il d´epasse 20 points. On attachera une grande
importance `a la clart´e et `a la concision des justifications.
Exercice 1 (3 points)
Rappel : Un ensemble Dest d´enombrable si on peut ´enum´erer ses ´el´ements
(´eventuellement avec r´ep´etitions). De mani`ere ´equivalente, Dest d´enombrable s’il existe
une bijection entre Net D. Exemples d’ensembles d´enombrables : les ensembles finis,
N,Nk,Z, . . . .
1. Soit Dun ensemble d´enombrable. Justifiez que l’ensemble des listes finies avec ´el´ements
dans D, est d´enombrable.
2. Une image de taille nest un tableau n×navec entr´ees enti`eres dans l’interval [0,255].
D´eduisez de la question pr´ec´edente que l’ensemble des images de taille n, o`u n∈N,
est d´enombrable.
Exercice 2 (5 points)
Rappel : Une fonction primitive-r´ecursive est une fonction construite `a partir des fonc-
tions succ :N→Net zerok:Nk→N, en utilisant les projections, la composition et la
r´ecursion :
h(0, x1, . . . , xk) = f(x1, . . . , xn)
h(n+ 1, x1, . . . , xk) = g(n, h(n, x1, . . . , xk), x1, . . . , xk)
Une fonction est primitive-r´ecursive si et seulement si elle elle est calculable par un
programme LOOP (avec instructions x:= y±c,x:= c, LOOP (x) DO POD, IF
(x= 0) THEN PELSE QFI, RETURN c).
Exemples : addition, multiplication, diff´erence tronqu´ee ˙−, sign, . . . .
1. Soit f(x, k) : N2→Nune fonction primitive r´ecursive. Montrez que la fonction suivante
est primitive-r´ecursive :
F(x, n) =
n
X
k=0
f(x, k)
2. Montrez que le pr´edicat pair :N→ {0,1}est primitif-r´ecursif :
pair(n) = 1 si nest pair
0 sinon
1