递归在这里并不是指使用自身作为子程序的算法,而是指递归函数的类别,即可以通过图灵机计算的函数。那么超递归函数将是一种需要更强大的计算模型才能计算的函数,超越了图灵机的计算能力。 例如,停机问题需要超递归算法,因为它不能用普通的图灵机来解决。