2. f : {f | i:{i1:
| i1<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)
| i1<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) | By: |
THENA (Thin 6 THEN Thin 5 THEN Thin 2) |
| 1 |
5. y : if j= 0 else {f(j-1)...} fi
6. y = f(j) {f(j-1)...}
7. j 0
8. f(j-1)
f(j)  | 2 steps |
About:
 |  |  |  |  |
 |  |  |  |  |
 |