什么是图灵完备（turing-comlete 图灵完全）？

一切可计算的问题都能计算，这样的虚拟机或者编程语言就叫图灵完备的。 一个能计算出每个图灵可计算函数（Turing-computable function）的计算系统被称为图灵完备的。一个语言是图灵完备的，意味着该语言的计算能力与一个通用图灵机 （Universal Turing Machine）相当，这也是现代计算机语言所能拥有的最高能力。

 

 

图灵完备究竟是什么意思呢？ 在可计算理论中，当一组数据操作的规则（一组指令集，编程语言，或者元胞自动机）满足任意数据按照一定的顺序可以计算出结果，被称为图灵完备（turing complete）。一个有图灵完备指令集的设备被定义为通用计算机。如果是图灵完备的，它（计算机设备）有能力执行条件跳转（“if” 和 “goto”语句）以及改变内存数据。 如果某个东西展现出了图灵完备，它就有能力表现出可以模拟原始计算机，而即使最简单的计算机也能模拟出最复杂的计算机。所有的通用编程语言和现代计算机的指令集都是图灵完备的（C++ template就是图灵完备的），都能解决内存有限的问题。图灵完备的机器都被定义有无限内存，图灵完全性通常指具有无限存储能力的通用物理机器或编程语言。可以这样理解：虽然实际的图灵机会受到存储能力的物理限制（机器指令集却通常定义为只工作在特定的，有限数量的RAM上），但语言是图灵完备的。 

从语言的区别看，有什么功能python能实现，php不能实现的呢？

从非常严格的理论角度来说，答案是：没有。因为PHP和Python都是图灵完备(Turing complete)的语言，所以理论上你找不到一个Python能做到而PHP做不到的事情。

 

图灵等价和图灵完备：

图灵等价有两个意思，一个是指两个计算系统在可计算性上计算能力相同；另一个，也是常用的一个就是指一个系统的计算能力与通用图灵机计算能力相同（在可计算性的意义上）。而图灵完备是指能够模拟通用图灵机的计算系统。而所有已知的图灵完备的系统都是图灵等价的，因此，在现有的计算机系统（编程语言、指令集等）上，使用图灵等价和图灵完备是一个意思。