我在Wikitia上找到了a list of Turing machine equivalents的文章。但是，它没有说明如何确定给定机器是否与Turing机器等效的方法。
我需要使用图灵机的定义来证明它吗？你能举个例子吗？
谢谢。
最佳答案
证明已完成所有工作的标准方法是在计算机中实现TM等效项之一。如果可以这样做，则说明您的机器是Turing-complete。如果不是，那么不是。因此，如果我想证明某种新的编程语言正在完善中，那么我会选择最容易实现的TM等效语言，然后证明我的编程语言可以模拟它。
关于turing-machines - 如何判断一台机器是否与图灵机等效，我们在Stack Overflow上找到一个类似的问题：https://stackoverflow.com/questions/4645205/