On nested recursion :a strange function
Define a function given by the following equations:
f1(0) = 0 f1(1) = 0 f1(x+1)=1+f1(1+f1(x)) (for x>0)
Solution
This file
Going home
Yves Bertot
Last modified: Tue May 20 15:20:10 MEST 2003