图灵的完整性是否包括无所作为的能力

时间:2018-02-21 20:00:51

标签: theory complete computability turing

语言是否必须能够代表"什么都不做"为了考虑到图灵完成?如果答案是否定的,那么有一个可以想象的程序无法由图灵完整的计算机表示/执行,但如果答案是肯定的,图灵完整性不再完全由计算机做事的能力来定义。 / p>

1 个答案:

答案 0 :(得分:0)

  

图灵完整性不再完全由计算机定义   做事的能力。

我不确定您使用的哪本教科书给出了图灵完整性的定义。

如果编程语言可用于模拟任何图灵机,则称其为图灵完成。图灵机有一个precise mathematical definition。一个这样的可能的图灵机是具有初始起始状态q和一个暂停状态q的机器。这应该像什么都不做"在所有给定的输入上。