構建決策者而不是決策者圖靈機

Question

如何制作一個圖靈機圖，它可以識別all words with an even number of a's但它not a decider ，沒有別的。 此外，如何為同一語言制作decider圖靈機圖。

Answer 1

所有帶有偶數個 a 的單詞的語言都是正則語言，因此簡單的二態 DFA 將接受該語言。 同一台機器是一個兩態判定器 TM，它碰巧不將磁帶用於讀取輸入之外的任何事情。

要將這樣的判定器變成非判定器的識別器（因為所有判定器也是識別器），我們必須使 TM 顯式識別具有奇數個 a 的字符串，而不是簡單地停止拒絕，go 進入無限循環。 這可以通過單個 state 輕松完成。