2017-05-08 10 views
0

私はチューリングマシンにはかなり新しく、質問に困惑しています。 Q = {q、r、s、t}、Σ= {abc}、Γ= {B、a、b、q}となるようなチューリングマシンが与えられます。M =(Q、Σ、Γ、 c]、[t、a、r、b、R]、[q、b、r、a、R]、q、c、t、c、R]チューリングマシンの設定

入力abbaでMが停止するかどうかを確認するメッセージが表示されます。 Mが停止する構成を書いてください。答えはbrbbaであると考えられますが、これはどのように構成できるのか分かりません。状態シンボルはどのように構成の一部になりますか?どんな助けもありがとう!

答えて

0

構成は、からなる:

  • Rに示すように現在の状態
  • 読取り/書込みヘッド
  • の位置テープコンテンツ

brbbaはすべての3つを示しています現在の状態と頭の位置。二行でそれを書くための少ないコンパクトな方法は、次のようになります。

r 
bbba 

またはb [RB] BAあなたが好きなら。

関連する問題