f(x,y)=y+1(x=0).f(x-1,1)(y=0),f(x-1,f(x,y-1))(otherwise)