為什么這個圖靈機不是決策者？

Question

就像我知道圖靈機是否在每次輸入時都停止一樣是決定者。 但是對於這個問題，它只是給了我這張圖，讓我推斷這個圖靈機是否被認為是一個決策者，答案是否定的。 “不”是怎么推導出來的？ 我似乎無法理解這整個決策者和非決策者圖靈機的事情。 如果有人能幫我解釋一下。 謝謝。

Answer 1

如果我做對了，那么如果我在磁帶上寫“ba”並啟動磁頭位於“b”的圖靈機，那么它將永遠循環。

• 從 state 0 中的 position 0 開始。
• 讀“b”，把“b”換成“b”，go右移到position 1，移動到state 1
• 讀“a”，把“a”換成“a”，go左移到position 0，移動到state 0
• 讀“b”，把“b”換成“b”，go右移到position 1，移動到state 1
• 讀“a”，把“a”換成“a”，go左移到position 0，移動到state 0
• 讀“b”，把“b”換成“b”，go右移到position 1，移動到state 1
• 讀“a”，把“a”換成“a”，go左移到position 0，移動到state 0
• ...

你可以看到這將永遠循環。 因為存在 Turning machine 不會停止的輸入，所以它不是決策者。