Computer science 图灵机停止问题

我有一个关于图灵机器和停止问题的问题

假设我们有Atm={（M，w），其中M是图灵机，w是输入}和
HALTtm={（M，w），其中M是一个图灵机，在输入w}

---

我想证明HALTtm好吧，观察到对于HALTtm中的所有（M，w），它一定是（M，w）在Atm中。然后显示存在一些（M'，w'），它们是Atm的成员，但不停止，因此不在HALTtm中。

对于以下每种语言，为接受该语言的图灵机绘制一个转换图

{aibj|i≠j} 

---

什么是我们可以从ATM减少到HALTTM 让M2是一种新的机器 关于输入x 当在x上运行M2时 如果M2接受x，则停止并接受 如果M2拒绝，则M2将进入无限循环

---

因此存在一个不停止M2的x，因此ATm不在HALTTM中

第二步是不必要的。请注意，他使用了“我怀疑这个问题对于即将到来的会议来说是完美的。所以，如果你想有一个地方来回答像这样的问题，请继续并帮助这个提案启动！到底是什么