证明汉诺塔问题的递归与非递归算法本质上是一致的，我们可以通过数学归纳法来验证这一点首先，当n=1和n=2时，直接验证这两种算法确实会产生相同的移动序列假设当klt=n1时，递归算法和非递归算法能够产生完全相同的移动序列接下来，我们考察k=n时的情况将移动分为顺时针移动S逆时针移动。
Ackermann函数是一个常用于计算机科学领域的连续递归函数，用来测试计算机算力的强大程度Ackermann函数的声明如下其中m和n均为非负整数Ackermann函数的递归算法如下该算法通过递归调用本身来计算Ackermann函数的值如果 m = 0，函数返回 n+1如果 n = 0，函数返回 Am1， 1否则，函数。