可降低性Etm不可判定

Question

我想问一下减少。

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

1.if x！= w，拒绝

2.如果x == w，在输入w上运行M并接受M是否

在我遇到的许多证据中，我看到了那条粗线，但我无法理解我怎么能这样做，因为我不知道它是否会停止。

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

感谢。

Answer 1

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

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

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