Please click this to see my problem
你好。
关于这个问题，我只是不能理解它提供的解决方案。
我们知道Atm的补码{<M,W>：M是TM，M不接受W}
而rtm如photo={<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的补充为什么？
非常感谢！
最佳答案
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
我认为这个答案是正确的。
关于algorithm - 无法理解解决方案(车床和 reducer )，我们在Stack Overflow上找到一个类似的问题：https://stackoverflow.com/questions/35953645/