无法理解解决方案（车床和减速机）

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

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