Académique Documents
Professionnel Documents
Culture Documents
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
Definition 1
La classe des fonctions récursives est la plus petite classe de
fonctions définies de N → N par induction comme suit :
▶ Les fonctions élémentaires S, Z et Uin sont des fonctions
récursives.
▶ Toute fonction obtenue à partir des fonctions récursives par
les opérations élémentaires : la composition, l’opération de
récursion et l’opération du minimum, est dite récursive.
▶ Une fonction récursive est obtenue seulement à l’aide des
clauses précédentes.
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
Definition 2
Les fonctions primitives récursives sont celles qui sont obtenues à
partir des fonctions de base par toute suite finie d’application des
opérations élémentaires de composition et de primitive récursion.
Definition 3
Les fonctions partielles récursives sont celles qui sont obtenues à
partir des fonctions de base par toute suite finie d’application des
opérations élémentaires de composition, de l’opération récursion
primitive et de l’opération de minimum.
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
Definition 4
Un prédicat P : Dn → {0, 1} est dit primitif récursif si et seulement
si sa fonction caractéristique
{
0 si P(x1 ,...,xn )
Cp (x1 , ..., xn ) =
1 sinon
est primitive récursive.
Definition 5
Un ensemble A défini primitif récursif si et seulement si sa fonction
caractéristique
{
1 si x∈ A
CA (x) =
0 si x ̸∈ A
est primitive récursive.
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
Definition 6
La fonction g(x,y) est dite régulière si ∀x∃yg(x, y) = 0 est une
proposition vraie.
Definition 7
Une partie A ⊂ Nn est récursivement énumérable si et seulement si
il existe une relation récursive R sur Nn+1 telle que (a1 , a2 ,. . .,an )
∈ A si et seulement si ∃ y R(a1 , a2 ,. . .,an ,y) ∈ Nn+1 .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
Proposition 8
Si g(x, y) est récursive et f(x) = (µy < n)(g(x, y) = 0), alors f est
aussi récursive.
Proposition 9
Si P(x, y) est récursive et R(x) =def ∃y < n, P(x, y) et
S(x) =def ∀y < n, P(x, y) ; alors R et S sont récursives.
Preuve : Il suffit de constater que : CR = Πn−1
i=0 Cp (xi ) et CS =
∑
sign( n−1 C
i=0 p i(x )).
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .