运行 自身的 UTM 及其描述

Question

当 UTM U 运行 自身及其描述时会发生什么？它是拒绝、接受还是循环？

Answer 1

通用 TM 的输入通常由两部分组成：

• 要模拟的 TM 的描述
• 应该模拟 TM 的输入

因此，当您的 U 仅在其自身描述上 运行 时，输入不完整，将被拒绝。或者它可能被解释为空词作为输入；但这不是 TM 描述，因此也会被拒绝。