Exercice : Domaine de validité de notre fonction
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\)
Quel est le domaine de validité de la fonction ?
Règles à respecter dans l'écriture des expressions :
Utilisation des opérateurs mathématiques,
Utilisation selon l'ordre des variables,
Pas d'espace autour des opérateurs arithmétiques,
Les opérateurs binaires sont « et », « ou » et « non » (espace à gauche et à droite),
Pour un appel de fonction, les paramètres sont séparés par une virgule et un espace,
Écrire « y>2 » et non « 2<y ».
Dans tous les cas, n est positif ou nul. Il n'y a pas de condition sur x ou y.