圖靈機配置

Question

我對圖靈機器相當陌生，而且我很難回答一個問題。我得到一個圖靈機：M =（Q，Σ，Γ，δ，q）使得Q = {q，r，s，t}，Σ= {abc}，Γ= {B，a，b， c}，δ由下式定義：[q，a，r，b，R]，[q，b，r，a，R]，q，c，t，c，R] t，a，R]，[t，b，t，b，R]，[t，B，s，B，R]

我被問到M是否停止輸入abba，寫入其中M暫停的配置。答案是假設是brbba，我不明白這可能是如何配置。狀態符號如何分開配置？任何幫助將不勝感激！

Answer 1

的配置包括：

• 當前狀態
• 的讀/寫頭
• 磁帶內容

brbba的位置表明所有三種作爲第r示出了當前狀態和頭部位置。將其寫成兩行的緊湊方式是：

r 
bbba 

或b [rb] ba如果你喜歡。