无法理解解决方案（图灵机和归约）

Question

Please click this to see my problem

嗨。

关于这个问题，我只是无法理解它提供的解决方案。

我们知道 Atm = {<M,W> 的补码：M 是 TM，M 不接受 W} 和照片中描述的 Rtm = {<M,W> : M 是拒绝输入字符串 W}

的 TM

如果我们把M,epsilon 放到上面的每一个中，

the complement of Atm = M does not accept epsilon
Rtm = M rejects Epsilon

在任何一种情况下，这对我来说都是有意义的，因此我的观点是 在 Rtm 和 Atm 的补充。 但是答案说<M,epsilon>不在Rtm中，而是在Atm的补充中

这是为什么呢？

非常感谢！

Answer 1

i guess they just mean that running forever is not the same as rejecting. rejecting is terminating with a "reject" status – Anton Knyazyev 14 mins ago

我认为这个答案是正确的。