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