無法理解解決方案（車床和減速機）

Question

請點擊此查看我的問題

你好。

關於這個問題，我只是不明白它提供的解決方案。

我們知道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

我認為這個答案是正確的。