Language agnostic 请用简单的话-什么是“a”；图灵完备；语言？

我是编程新手，有人告诉我“Javascript是一种图灵完整编程语言”。什么是“图灵完全”P语言？。。。我试着在维基上读一些文章，比如，或者，但仍然找不到一个对我来说足够原始和清晰的asnwer…

用外行的话来说，你可以认为它是一种“完整的”编程语言

实际上，不是图灵完全的语言有一些严重的限制，例如不允许递归的语言。对于有限用途的语言来说，这可能很好，但这意味着某些算法无法表达，而另一些算法需要复杂的变通方法

在计算机科学中，一个重要的原则是复杂系统可以“简化”（被证明是同构的，即基本等价的）为我们可以推理的非常简单的系统。对图灵机器（现代计算机的一种非常粗糙的理论抽象）能做什么和不能做什么进行推理是相当容易的；然后我们知道，对于任何可以简化为图灵机的系统，我们的结论都是正确的

---

但对于你的具体问题，实际上，这只是一种势利的方式来告诉势利的人你是他们中的一员。

衷心感谢你，tripleee！：）从技术上讲，这并不是说一种语言可以简化为一台图灵机。但它可以用来实现通用图灵机。丘奇-图灵假设在证明一种语言/系统/机器等于另一种语言/系统/机器时有点“欺骗”。如果它们不相等，那么只需为其他语言/系统/机器编写一个模拟器，并在模拟器中运行其他语言的程序。这是定理证明的关键。应该注意的是，一些图灵完备语言仍然需要复杂的变通方法。事实上，对于一种语言必须支持并且仍然是图灵完备的最低限度，已经做了相当多的研究。它达到了一个只有一条指令的机器的地步，比如“如果为零，则进行减法和分支”。有了正确的组合，你可以生产任何东西——但大多数这样的机器都是纯理论的，不实用的。最近的一篇论文证明了x86移动指令（本身——根本没有其他指令）足以实现图灵完整性，但“变通”的含义与我的意图不同。如果语言是备用的，这是语言设计师的选择；如果您无法实现C编译器或Lisp解释器来达到您想要的目的，那么真正的解决方法就是从这里开始的。@JerryCoffin:您会感到惊讶的。单指令CPU已经建成并批量生产。谷歌“新英格兰数字处理器”-它只有移动。奈德在90年代关闭了这家商店，但我认为这种能手仍然是小批量生产的，因为它被用在一些乐器上。一个更现代的例子是达拉斯半决赛的马克斯。两者都是“移动”机器。该体系结构的技术术语是传输触发体系结构（TTA）。我自己设计了一些。它们很容易编程，因为您使用内存地址的“高级”语言作为指令集。