什么是超递归算法?

Fer*_*cio 23 algorithm

我今天第一次遇到这个术语,维基百科的条目并没有真正告诉我:

在可计算性理论中,超递归算法是普通算法的推广,它更强大,即计算比图灵机更多.

che*_*ner 16

这里的递归并不是指将自身用作子例程的算法; 相反,它指的是递归函数的类,它们是可以由图灵机计算的函数.那么,超递归函数将是图灵机不够强大而无法计算的函数,需要更强大的计算模型.

例如,暂停问题需要超递归算法,因为它不能使用普通的图灵机解决.

  • 我们只知道类型;我们用于描述算法的普通语言假设图灵机作为计算模型,因此不会有您想要的示例。对于 cs.stackexchange.com 来说,这实际上可能是一个非常好的问题。 (2认同)