Développement : La récursion forte est primitive récursive. [No Pdf]

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.

Ref : Theory of formal languages with applications : Simovici, Tenney

Recasages pour l'année 2020 :

  • Pas de recasages pour cette année.

Autres années :

Versions :

Pas de version pour ce développement.