图灵机的表示有多随意？

Posted 2023-02-25

【中文标题】图灵机的表示有多随意？

【英文标题】：How Arbitrary is the Representation of a Turing Machine?

【发布时间】：2011-05-01 12:34:41

【问题描述】：

我正在研究一个相关的可判定性/可识别性问题，为了解决它，我需要澄清图灵机的编码/表示。

我知道图灵机被正式定义为 7 元组。如果我有一个图灵机U 和另一个图灵机M，那么设计U 来识别M 的某些部分（例如M 的字母表、输入符号、接受状态集）是不是很简单？ ， 等等）？

我的一部分认为因为这些是有限集，所以计算它们是微不足道的，但我的一部分想知道您是否可以仅列举M 的定义的某些部分而不会循环到无穷大。

【问题讨论】：

我想你应该在这里问这个问题：cstheory.stackexchange.com

您在实施 INTERCAL 吗？

【参考方案1】：

是的，U 代表通用图灵机。在http://en.wikipedia.org/wiki/Turing_machine#Universal_Turing_machines 阅读相关内容。