Fonction de Sudan

${\displaystyle F_{0}(x,y)=x+y}$,

${\displaystyle F_{n+1}(x,0)=x\quad (\forall n\in \mathbb {N} )}$,

${\displaystyle F_{n+1}(x,y+1)=F_{n}(F_{n+1}(x,y),F_{n+1}(x,y)+y+1)\quad (\forall n\in \mathbb {N} )}$.

On peut démontrer que F₁(x, y) = F₁(0, y) + 2^y x.

Algorithme récursif

Suites  A260003 et  A260004 de l'OEIS

• Portail de la logique