Développement : La récursion forte est primitive récursive

Détails/Enoncé :

Soit $h: \mathbb{N}^{k+2} -> \mathbb{N}$ primitive récursive, soit $f : \mathbb{N}^{k+1} -> \mathbb{N}$ telle que :

$f(n,x_{1},...,x_{k}) = h(n, x_{1},...,x_{k}, [f(0,x_{1},...,x_{k}), ..., f(n-1, x_{1},...,x_{k})])$

où $[.,...,.]$ est un encodage bien choisi. Alors f est primitive récursive.

Recasages pour l'année 2024 :

  • Pas de recasages pour cette année.

Autres années :

Versions :

Références utilisées dans les versions de ce développement :

Theory of formal languages with applications, Simovici, Tenney (utilisée dans 1 versions au total)