可还原性 Etm 不可判定答案

【问题标题】：Reducibility Etm undecideable可还原性 Etm 不可判定
【发布时间】：2017-12-07 18:40:59
【问题描述】：

我想问一下减少的问题。

在M1的定义中证明Etm不可判定是

1.如果 x!=w，拒绝

2.if x==w,在输入 w 上运行 M，如果 M 运行则接受

在我遇到的许多证明中，我看到了那条粗线，但我不明白我该怎么做，因为我不知道它是否会停止。

我很高兴知道我哪里错了。

谢谢。

【问题讨论】：

【解决方案1】：

使用图灵机接受意味着停止接受配置。因此，如果您模拟 M 并且它接受，它将停止并且您将能够注意到这一点。

如果 M 没有停止，这意味着它不接受 w。在这种情况下，您也不应该接受。不接受的一种方式是永远奔跑。所以如果你对 M 的模拟永远运行，这会让你永远运行，这正是你应该做的。

因此，您无需知道 M 是否会停止。这不起作用。 在输入 w 上运行 M 并在 M 拒绝时接受将无法计算，因为您需要检测无限计算并接受它们的输入。

【讨论】：

我的意思是，如果 Atm 是无限的，我该如何继续给出答案？之后的流程如何？我无法想象它会继续下去。
没有“在那之后”。 M 的模拟永远运行。但是，计算永远在“哪里”运行并不重要，即在程序的哪个“部分”中运行。如果它永远运行，那么这个永远运行就是结果。并且这个结果不是也不需要以明确的方式提供。永远奔跑就是拒绝。