递归：(直接)可计算性与计算上下文

Posted 2020-11-22 feng9exe

递归的起始端拥有更多的计算上下文；

计算上下文包含已知和未知的参量；

 

递归的末端具有更多的可计算性；

直接可计算性不包含未知参量。

 

 

递的过程是：

1、计算上下文的分解与最终可计算性的逼近；

2、将可计算性表述为待定值；

 

归的过程是：

1、执行直接可计算表达式；

2、赋值待定值，并执行计算；

3、返回上一层继续；

 

f(n) = f(n-1) + f(n-2)表述；

x = f(n);

y1 = f(n-1)；

y2 = f(n-2);

 

x = y1+y2;

 

在程序中，函数计算的最终结果只是一个变量（寄存器或内存）；

计算前这个变量未定，计算后这个变量确定；