机构名称：
¥ 1.0
回想一下，通过教会的论文，如果c满足了坦率的标准，我们会得到自由的反向含义，那就是l（c）⊆l（tm）。我们所需要的一切才能证明计算机在电源上等效于图灵机，才能在其上模拟图灵机，并检查它是否满足可达性标准。几乎每个设备都会满足不可行的标准，除了不这样做的设备，例如第一个问题集中的DIA。作为第一个示例，请考虑Python编程语言。编程语言只是将我们从硬件中抽象出来的注释。编写代码时，您将理想的语言作为心理模型，而不是计算机指令。python是图灵完整的。为什么？因为您可以在Python中编写Turing Machine模拟器。从此我们立即看到L（TM）⊆L（PY）。尽管一个相对直截了当的论点，但我们已经可以发表一些深入的评论。首先，请注意我们如何练习教堂的论文。我们不必证明l（py）⊆l（tm）。图灵机对Python程序进行仿真会令人讨厌。由于我们知道我们可以模拟大脑中的Python程序，因此我们可以理解它们，因此我们可以使用教会的论文来免费获得此遏制。接下来，请注意该论点的哪一部分是特定于Python的。实际上都不是，因此所有合理的认真语言也是图灵完整的。您是否曾经注意到所有认真的编程语言在可能性方面具有相同的能力？在效率或可用性方面可能更快，但绝不可能。所有严肃的语言都是等效的，因为它们都是图灵完整的。没有一个人优于其他人的事实，源于教会的论文。确实存在针对极为人为的用例的非整洁编程语言。回想一下我们上次给出的图灵机的四个概括。带有住宿的图灵机，带有双向胶带的图灵机，多磁带图灵机和非确定的图灵机。我们可以将其应用于前四个
讲座11：图灵完整性
主要关键词
相关文件推荐
