1

Please click this to see my problem無法理解解決方案(圖靈機與縮減)

嗨。

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

我們知道的ATM補= {<M,W>:M是TM和M不接受白}如照片的描述 和RTM = {<M,W>:M是TM是拒絕輸入列W}

如果我們把M,epsilon到每個以上,

the complement of Atm = M does not accept epsilon 
Rtm = M rejects Epsilon 

在任何情況下,這對我來說很有意義,所以我的觀點是 是RTM和大氣壓的補充。 但回答說<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 

我認爲此答案正確。