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
L2 = {<M> : M is a TM and there exists an input string w such that M halts within 10 steps on input w}
嗨。我正在創建一個算法,以顯示L2以上是可確定的。 而提示被給出爲以下: 要顯示L2是可判定的,測試對 長度的所有輸入串給定的TM M達至多10,每一個用於10個步驟。請注意,有很多這樣的字