自己运行UTM及其描述

Question

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

Answer 1

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

• 用于模拟的TM的描述
• 应该模拟TM的输入

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