Please click this to see my problem
Hi.
About this question, I just can't understand its solution provided.
We know the complement of Atm = { <M,W>
: M is TM and M does not accept W} and Rtm as described in photo = { <M,W>
: M is TM that rejects the input string W}
if we put M,epsilon
into each of above,
the complement of Atm = M does not accept epsilon
Rtm = M rejects Epsilon
in either case, it makes sense to me, thus my perspective is is in Rtm and complement of Atm. But answer says <M,epsilon>
is NOT in Rtm but in complement of Atm
Why is that?
Thank you very much!
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
我认为这个答案是正确的。
The technical post webpages of this site follow the CC BY-SA 4.0 protocol. If you need to reprint, please indicate the site URL or the original address.Any question please contact:yoyou2525@163.com.