在学习的过程中我发现一个有趣的问题:所有递归算法都能转换为非递归算法(迭代)吗?
从这个问题出发,竟然能追溯到算法的定义,计算机的本质,图灵机,丘奇-图灵论,停机问题,计算的本质等等。
首先从计算机的角度看,答案是肯定的。因为代码编译的时候就是使用栈进行计算的,所以只要能用栈,就可以将所有递归函数转为迭代函数。但若继续深入呢?首先计算机是建立在图灵机的基础之上,而图灵机的理论基础便是“丘奇-图灵论”,该理论首次精确定义了可计算性这一概念,同时指出:如果一种语言能被某一图灵机判定,则称该语言是图灵可判定的,也称递归语言。那么所有编程语言包括描述可行计算的人类语言也是递归语言。那这个问题也就没什么意义了。
从人的角度看,不使用栈,通过分析归纳将递归算法转换为非递归算法,那样答案又是不确定的了。
人的思维方式有可能就是递归的。
最后强推“科学元典丛书”,同时附上我整理的思维导图(已发布到导图社区,搜索“java”即可:https://mm.edrawsoft.cn/store)。