图灵完备（待更新）

目录

一，Turing-complete（图灵完备）

二，图灵机（待补充）

三，data-manipulation rules（数据处理规则）（待补充）

1，a model of computation（计算模型）

2，a computer's instruction set（指令集）

3，a programming language（编程语言）

4，a cellular automaton（元胞自动机）

5，else

四，证明一个语言是图灵完备的

1，和图灵机等价

2，包含关系

一，Turing-complete（图灵完备）

定义：

In computability theory, a system of data-manipulation rules (such as a model of computation, a computer's instruction set, a programming language, or a cellular automaton) is said to be Turing-complete or computationally universal if it can be used to simulate any Turing machine

也就是说，如果可以模拟出图灵机，那就是图灵完备的。

二，图灵机（待补充）

三，data-manipulation rules（数据处理规则）（待补充）

1，a model of computation（计算模型）

2，a computer's instruction set（指令集）

3，a programming language（编程语言）

几乎所有的编程语言都是图灵完备的。

图灵完备的编程语言：Brainfuck 语言、C、C++、C++元编程（模板）、Java、Python

非图灵完备的编程语言：HTML、XML

4，a cellular automaton（元胞自动机）

5，else

扫雷  http://web.mat.bham.ac.uk/R.W.Kaye/minesw/infmsw.pdf

人力资源机

音乐

四，证明一个语言是图灵完备的

1，和图灵机等价

如果能证明一个编程语言和图灵机等价，那就是图灵完备的

例如，Brainfuck 语言、lambda 演算可以证明和图灵机等价

2，包含关系

最简单的Brainfuck 语言是图灵完备的，所以只要证明一个语言可以完成Brainfuck 语言能完成的所有计算，也就是包含了Brainfuck 语言，那就是图灵完备的

同理，对于函数式语言，lambda 演算是图灵完备的，所以只要证明一个函数式语言包含lambda 演算，那就是图灵完备的