Définition d'une fonction récursive basée sur une définition explicite
Objectifs
Analysez un énoncé simple et déduisez les caractéristiques d'un code C récursif permettant le calcul souhaité.
Voici une définition de fonction récursive dite fonction de Sudan :
« F0(x, y) = x + y »
« Fn+1(x, 0) = x, n ≥ 0 »
« Fn+1(x, y + 1) = Fn(Fn+1(x, y), Fn+1(x, y) + y + 1), n ≥ 0 »
Nous allons écrire un code réalisant le calcul de cette fonction.