递归的本质：递归的数理逻辑表示
Posted feng9exe
tags:
篇首语：本文由小常识网(cha138.com)小编为大家整理，主要介绍了递归的本质：递归的数理逻辑表示相关的知识，希望对你有一定的参考价值。
条件完备后执行后继计算:
F = Future(context & P & r(F)) + Call(r(F) = F(input - 1))
Continuation是一种非常古老的程序结构，简单说来就是entire default future of a computation, 即对程序“接下来要做的事情”所进行的一种建模，即为“完成某件事情”之后“还需要做的事情”。而这种做法，也可以体现在尾递归构造中。
http://www.nowamagic.net/librarys/veda/detail/2332
以上是关于递归的本质：递归的数理逻辑表示的主要内容，如果未能解决你的问题，请参考以下文章