任意如何是图灵机的代表？

Question

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

我知道图灵机正式定义为7元组。如果我有图灵机U和另一个图灵机M，设计U以识别M的某些部分（例如M'是否微不足道s字母，输入符号，接受状态集等）？

我的一部分认为，因为这些是有限集，所以重要的是计算它们，但是我的一部分想知道你是否可以枚举M定义的某些部分而不可能循环到无穷大。

Answer 1

是的，U代表Universal Turing机器。请在http://en.wikipedia.org/wiki/Turing_machine#Universal_Turing_machines了解相关信息。