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
這是爲什麼?
非常感謝!
我想他們只是意味着永遠不會像拒絕一樣。拒絕以「拒絕」狀態結束 –