algorithm - 是否有没有递归形式的算法特征？

Question

这个问题源于二叉树表示(前序、后序、层序等)。其中一些可以写成递归形式(例如前序表示)，但我认为没有层次顺序表示的递归算法(或者如果你知道怎么做请告诉我!)。所以我的问题是:是否存在不能以递归形式编写的算法“类型”？如果是这样，这种类型的算法如何表征？(或者是否有一个系统可以在其中编写证明某些算法不能以递归方式编写的证明？)

Answer 1

我不一定认为这是 this question 的副本，但这是一个很好的引用。它提供了一个证明，说明每个迭代算法都可以递归地编写。因此，不存在不具有递归形式的算法类别。