Turing machine
我们可以构造出一个特殊的图灵机，它接受任意一个图灵机formula_20的编码formula_96，然后模拟formula_20的运作，这样的图灵机称为通用图灵机（Universal Turing Machine）。现代电子计算机的计算模型其实就是这样一种通用图灵机，它能接受一段描述其他图灵机的程序，并运行程序实现该程序所描述的算法。