什么是超递归算法？

Question

我今天第一次遇到这个词，而Wikipedia条目并没有真正告诉我太多：

  

在可计算性理论中，超递归算法是一种   更普遍的普通算法的推广，即   计算超过图灵机。

Answer 1

这里的递归并不是指将自身用作子程序的算法;相反，它指的是递归函数的类，它们是可以由图灵机计算的函数。因此，超递归函数将是图灵机无法计算的功能，需要更强大的计算模型。

例如，暂停问题需要超递归算法，因为使用普通的图灵机无法解决这个问题。