2015-11-06 63 views
0

對於給定的輸入變量'x',圖靈機M覆蓋非空字符的含義是什麼?計算理論圖靈機

問題的意圖:我試圖回答如何使暫停問題可以決定,只要我們有一個可以說'M'是否用空白覆蓋非空白字符的TM?

回答

0

請記住,在計算開始時,磁帶(輸入除外)充滿空白。如果頭部不會覆蓋空白,你認爲會發生什麼?

+0

它的循環和永不停止。我希望我抓住了這個提示。請糾正我,如果我不正確 –

+0

你是對的。要麼停止,要麼會循環(即重複相同的配置)。這兩個事件都可以被一臺機器識別(通過決策者)。 –