Brasilford教授在这段视频中对所解释的内容进行了超级简短的总结。

图灵完备≅做图灵机能做的任何事情。

它具有条件分支(即。“如果声明”)。此外，暗示“go to”，因此允许循环。 它获得程序所需的任意数量的内存(例如足够长的磁带)。

在大多数程序员熟悉的实际语言术语中，检测图灵完整性的通常方法是该语言是否允许或允许模拟嵌套的无界while语句(与具有固定上界的pascal风格for语句相反)。

图灵完备意味着它至少和图灵机一样强大。这意味着任何可以被图灵机计算的东西都可以被图灵完备系统计算出来。

目前还没有人发现比图灵机更强大的系统。因此，就目前而言，说一个系统是图灵完备的，就等于说这个系统与任何已知的计算系统一样强大(参见丘奇-图灵论文)。

从根本上讲，图灵完备性是一个简洁的要求，即无界递归。

甚至不受记忆的限制。

我是独立思考的，但这里有一些关于这个论断的讨论。我对LSP的定义提供了更多的上下文。

这里的其他答案并没有直接定义图灵完备性的基本本质。

我认为“图灵完备”概念的重要性在于能够识别一台计算机(不一定是机械/电气“计算机”)，它可以将其过程分解为由越来越简单的指令组成的“简单”指令，通用机可以解释并执行这些指令。

我强烈推荐《注释图灵》

@Mark，我认为你所解释的是通用图灵机和图灵完备的混合描述。

从实际意义上讲，图灵完备指的是一台机器/过程/计算，它可以被编写并表示为程序，由通用机(台式计算机)执行。虽然它不考虑时间或存储，正如其他人所提到的。

以下是最简单的解释:

图灵完备系统指的是这样一个系统，在这个系统中，可以编写程序来找到答案(尽管不保证运行时间或内存)。

所以，如果有人说“我的新东西是图灵完备的”，这意味着在原则上(尽管通常不是在实践中)它可以用来解决任何计算问题。

有时候这是个玩笑……有人用vi写了一个图灵机模拟器，所以可以说vi是世界上唯一需要的计算引擎。