可计算性与停机问题

可计算性

可计算性理论明确了在理论上可计算的函数应具有的特征。那些定义在自然数集上的、理论上可计算的函数通常被称为部分递归函数。概念中强调“理论上可计算”，是因为某些可计算函数在实际计算中可能会耗费相当长的计算时间，可能在我们宇宙现存时间内都无法完成其计算。

 

直观地说，如果存在一段程序来计算一个函数，那么这个函数就是可计算的。更明确地说，如果对于函数f: A -> B存在一个算法，以任意x∈A作为输入，都可以得到y = f(x)作为输出，则这个函数是可计算的。

 

在20世纪30年代，普林斯顿大学的Alonzo Church提出了一个重要的原理，称为Church理论。Church理论是关于数学定义和真实计算之间的关系的，该理论认为任何通用计算设备都能够计算定义在整数集上的一个函数集。这个函数集就是部分递归函数的集合，有时也称为可计算函数集。在数学上有对这类函数的定义，在计算机科学中有两个等价的定义，分别是图灵机和lambda演算。图灵机由一个无限长的磁带、一个磁带读/写头和一个有限状态控制器组成。在每一步计算中，图灵机从磁带上读出一个符号，并由有限状态控制器决定是否在当前磁带区上写入不同的符号，然后决定是否需要将磁带读/写头向前或向后移动一位。Lambda演算有三个部分：一个用于定义函数的符号、一个用于证明表达式等价的证明系统以及一组被称为归约的演算规则集合。Lambda演算系统通过归约的方式，将函数应用于一个或多个参数，并且计算出结果。Church在阐明他的理论时所引用的一个证据就是图灵机与lambda演算是等价的。

 

停机问题

有可计算的函数，当然也就有不可计算的函数。一个著名的例子就是停机问题。为了简化问题，这里我们将一个程序也作为数据对象来处理，并且能够作为某个程序的输入。如果P是一