Q

計算理論圖靈機

turing-machines

2015-11-06 92 views 0 likes

0

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

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

2015-11-06 Rohit Mittal

A

回答

0

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

2015-11-06 11:57:54

+0

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

+0

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

相關問題