Exercice : La condition d'arrêt
Définition de fonction récursive dite fonction de Sudan :
\(F_{0}\left ( x, y \right )= x+y\)
\(F_{n+1}\left ( x, 0 \right )=x, n\geq 0\)
\(F_{n+1}\left ( x, y+1 \right )=F_{n}\left ( F_{n+1}\left ( x, y \right ), F_{n+1}\left ( x, y \right )+y+1 \right ), n\geq 0\)
Quelle est la condition d'arrêt de la récursivité ?
C'est la conjonction des conditions des deux premières clauses.