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であると考えられますが、これはどのように構成できるのか分かりません。状態シンボルはどのように構成の一部になりますか?どんな助けもありがとう!