Pin*_*juh 9 turing-machines universal
如果我有一台机器,称之为机器1,这可以解决问题:它只是一台机器,而不是图灵机.它可以解决一个特定的问题.如果在通用图灵机上可以解决这个完全相同的问题,那么我的原始机器,1,通用图灵机也是如此？
这并不适用于所有问题,这已经是一个问题.是否存在任何具有此描述属性的问题？如果绝对不是真的那么,为什么呢？
有人可以举例说明要解决的问题.如果我的原机1解决了这个问题,那么肯定会成为通用车床吗？或者这样的问题不存在吗？如果它不存在,为什么？
我很感兴趣,但无法理解......谢谢.
编辑:使问题更清楚.
通用车床 (UTM) 的要点在于，对于任何图灵机 (TM)，您都可以使用该 TM 并为其创建一个编码来描述 TM 的操作，并让该编码在另一个 TM 上运行。
UTM 是一种具有足够强大定义的 TM，任何其他 TM 定义都可以在其中重写。
将 UTM 视为口译员。TM 是一项特定任务。
除非 TM 也属于口译员类别，否则它也不是 UTM。（因为 UTM 也是一个专门负责任务的 TM）。
因此，回答你的第二个问题：如果你能证明 UTM 和 TM 是等价的，那么你就证明了 TM 也是一个 UTM。为此，您需要能够展示如何将 UTM 的编码程序更改为 TM 的等效程序。