什么是超递归算法？

【问题标题】：What is a super-recursive algorithm?什么是超递归算法？
【发布时间】：2014-09-19 20:41:43
【问题描述】：

我今天第一次遇到这个术语，Wikipedia 条目并没有告诉我太多信息：

在可计算性理论中，超递归算法是更强大的普通算法的泛化，即计算量超过图灵机。

【问题讨论】：

标签： algorithm

【解决方案1】：

这里的递归并不是指将自身作为子程序的算法；相反，它指的是递归函数的类，这些函数可以由图灵机计算。那么超递归函数就是图灵机计算能力不够强的函数，需要更强大的计算模型。

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

【讨论】：

我明白了，但是有没有已知的超递归算法的例子（显然没有实际的实现）或者我们只知道需要它们的问题类型？
我们只知道类型；我们描述算法的普通语言假设图灵机作为计算模型，所以不会有你想要的例子。对于 cs.stackexchange.com 来说，这实际上可能是一个非常好的问题。