图灵等价和图灵完备

经常在讲编程语言的书或文章里面看到图灵等价（Turing equivalence）和图灵完备(Turing completeness),但却不知道这两个词的精确含义和区别。尤其是很多书或文章经常对这两个词进行混用，我就很疑惑这两个词是不是就是一个意思。我用Google搜索了一下，很遗憾的是中文结果基本没用，只有一篇百度空间里面转载的一个外国人写的文章，还是全英文的，简单看了下感觉写得不怎么清楚，就查了下英文维基百科。言归正传，下面先看看维基百科的两段话：

Incomputability theory, a system of data-manipulation rules (such as aninstruction set, aprogramming language, or acellular automaton) is said to beTuring completeorcomputationally universalif and only ifit can be used to simulate any single-tapedTuring machineand thus in principle anycomputer.

翻译过来就是：在可计算理论里，一个数据操作规则的系统（比如：指令集、编程语言、细胞自动机）被称作图灵完备或者通用计算的，当且仅当它可以被用来模拟单带图灵机。

In computability theory, there is a closely related concept known as Turing equivalence. Two computers P and Q are called Turing equivalent if P can simulate Q and Q can simulate P. Thus, a Turing-complete system is one that can simulate a Turing machine, but the term is most often used to mean Turing equivalent to a Turing machine.

翻译过来就是：在可计算理论里，有一个很相关的概念叫图灵等价。当计算机 P 和计算机 Q 是图灵等价的，当P可以模拟Q而且Q也可以模拟P。因此，一个图灵完备的系统可以模拟图灵机，但是这个术语（即图灵等价）常常被用来指与图灵机等价。

然后我们再来看看在可计算理论中，这两个词的正式定义：

Turing completeness：A computational system that can compute every Turing-computable functionis called Turing complete (or Turing powerful). Alternatively, such a system is one that can simulate auniversal Turing machine.

翻译过来就是：图灵完备：一个可以计算所有图灵机可计算的计算系统被称为图灵完备的。换句话说就是一个可以模拟通用图灵机的系统。

Turing equivalence：A Turing-complete system is called Turing equivalent if every function it can compute is also Turing computable; i.e., it computes precisely the same class of functions as doTuring machines. Alternatively, a Turing-equivalent system is one that can simulate, and be simulated by, a universal Turing machine. (All known Turing-complete systems are Turing equivalent, which adds support to theChurch–Turing thesis.)

翻译过来就是：图灵等价：一个图灵完备的系统被称为图灵等价的，如果任何它可以计算的函数也是图灵可计算的。也就是它可计算的函数和图灵机可计算的函数是完全相同的。换句话说，就是图灵等价的系统就是能模拟通用图灵机同时也能也被通用图灵机模拟的系统。（所有已知的图灵完备的系统都是图灵等价的，这增加了对丘奇-图灵论题的支持）

通过上面的分析，我们就可以清楚的知道这两个词的意思和关系了。图灵等价有两个意思，一个是指两个计算系统在可计算性上计算能力相同；另一个，也是常用的一个就是指一个系统的计算能力与通用图灵机计算能力相同（在可计算性的意义上）。而图灵完备是指能够模拟通用图灵机的计算系统。而所有已知的图灵完备的系统都是图灵等价的，这也增加了对丘奇-图灵论题的支持。因此，在现有的计算机系统（编程语言、指令集等）上，使用图灵等价和图灵完备是一个意思。