标签: oop math recursion functional-programming proof-of-correctness
我正在寻找的是一些数学理论启发如何将任意有限递归转换为OOP中传统的某种while(...)循环。或者,在其他情况下,如何证明给定的递归不能转换为while(...)语句。
while(...)
希望有人可以帮助我。
提前致谢。
答案 0 :(得分:0)
您可以在动态编程或尾递归中找到上下文。在动态编程中,您可以通过归纳来证明这一点,因为在递归算法中,我们根据函数的先前值在n的值上定义函数。
n