Please click this to see my problem
您好。
关于这个问题，我无法理解它提供的解决方案。
我们知道Atm的补码= {<M,W>：M是TM而M不接受W}
和photot {<M,W>中描述的Rtm：M是拒绝输入字符串W的TM}
如果我们将M,epsilon放入上述各项，
the complement of Atm = M does not accept epsilon
Rtm = M rejects Epsilon
在任何一种情况下，对我来说都是有道理的，因此我的观点是
是在Rtm和Atm的补充。
但回答说<M,epsilon>不在Rtm中，而是在Atm
为什么？
非常感谢！
答案 0 :(得分：0)
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
我认为这个答案是正确的。