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
f(j-1)
| z<i } if i=0 else {f(i-1)...} fi}
j1:. j1<j j1<i f(j1)
0 else {f(j-1)...} fi
0
f(j-1) | By: |
|
None
About:
 |  |  |  |  |
 |  |  |  |  |
 |