圖靈完備性

维基百科,自由的百科全书
跳转至: 导航搜索

可计算性理论里,如果一系列操作数据的规则(如指令集编程语言细胞自动机)可以用来模拟单带图灵机,那么它是图灵完备的。这个词源于引入图灵机概念的数学家艾倫·图灵

虽然图灵机会受到存储能力的物理限制,图灵完全性通常指「具有无限存储能力的通用物理机器或编程语言」。

参考资料[编辑]