Langage C

Voici une 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\).

Nous allons écrire un code C réalisant le calcul de cette fonction.