2. f : {f | i:{z:
| z<i } 
if i=
0
else {f(i-1)...} fi}
3. j :
4.
j1:. j1<j 
j1<i f(j1) 
5. j<i
6. y : if j=
0 else {f(j-1)...} fi
7. y = f(j)
8. j
0
9.
i:, j:{i...}. j
f(j)
| z<i } if i=0 else {f(i-1)...} fi}
j1:. j1<j j1<i f(j1)
0 else {f(j-1)...} fi
0
i:, j:{i...}. j
f(j) | By: |
|
| 1 |
f(j-1)  | 1 step |
| 2 |
j:{f(j-1)...}. j
f(j) | 1 step |
About:
 |  |  |  |  |
 |  |  |  |  |
 |