如何判断机器是否与图灵机等效

Question

我找到了a list of Turing machine equivalents的维基百科文章。但是，它没有说明如何确定给定机器是否与图灵机相当的方法。

我是否需要使用图灵机的定义来证明它？你能举个例子吗？

感谢。

Answer 1

证明完成某些事情的标准方法是在您的机器中实现一个TM等价物。如果可以做到，那么您的机器就完成了。如果不是，那就不是。因此，如果我试图证明一种新的编程语言是完整的，我会选择最简单的TM实现，然后证明我的编程语言可以模拟它。

Answer 2

实际上它无法真正得到证实。至少，完全正式化这些共同的平等证明可能需要比理论计算机科学更加正式的逻辑。 （如果你不同意，请告诉我！我很想讨论这件事。）

然而，从背景来看，它基本上是清楚的。你尝试在另一个这样的计算模型B中建立一个计算方案A的“机器”的模拟。这意味着B可以模拟A，因此具有A的全部功率。如果反之亦然，这两个模型被称为等效。

Answer 3

我的头脑中：如果你的机器可以模拟一台已知的图灵机等效机器，那么你的机器也是图灵机等效的。

可能是最简单的方法来做这样的事情。

编辑：我并不是说这是要求机器成为图灵机的等价物，尽管它可能是这样。也许在理论信息学方面有点熟练的人可以让我对此有所了解吗？