我理解由于对角化论证，HP是一个不可判定的问题。
在我的书（kozen）中，减少停止问题的第一个例子是可以决定是否接受空字符串ε的机器。
来自我的书：
假设我们可以决定是否e。给机器a.ccepts E.我们可以 决定停止问题如下。假设我们有一台图灵机 M和字符串x，我们希望确定M是否在X上停止。构造 从M和x得到一台新机器M'，它在输入y上执行以下操作：
- （i）删除其输入y;
- （ii）在其磁带上写入x（M'在其有限控制中具有x硬连线）;
- （iii）在输入x上运行M（M'也有一个M硬连线的描述 有限控制）;
- （iv）如果M停止在X上，则接受。
在这里，我想到了很多问题。 M'不是基于（至于文本至少说明）在实际机器上决定是否接受ε。
为什么要删除输入y？ M'中的x是任意的吗？而最大的困惑来自于我的问题：为什么我不能用这种方式证明任何决策问题：使机器M'擦除其输入，在磁带上写入x，在输入x上运行M并接受如果M停止在x上？
我试图理解机器接受ε的决定者和书中给出的TM之间的关系，但我似乎无法理解它，我的同学也不能理解。
答案 0 :(得分：0)
删除输入只是为了表明它是无关紧要的。你也可以把它放在那里然后写下来。
M＆＃39;不是随意的，而是＆＃34; M＆＃39;在其有限控制中有x硬连线＆＃34;决定问题＆＃34;给定图灵机M和字符串x，我们希望确定M是否在x上停止。＆＃34;新机器始终与其输入无关。因此，它接受所有输入或NONE。所以它接受空字符串IFF M接受x。重要的是要注意，我们只讨论M的一个计算，但是M＆C的所有计算。