Transformation en C
Code C pour la clause 1
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 »
N'oubliez pas que nous avons unifié les clauses !
Code C pour la clause 2
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 »
N'oubliez pas que nous avons unifié les clauses !
Code C de la clause 3
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 »
N'oubliez pas que nous avons unifié les clauses !