1

この言語用のシングル テープ決定論的チューリング マシンの作成を手伝ってほしい ここに画像の説明を入力

ここでは、TM が受け入れる文字列を決定する方法がわかりません。マシンが a=c の文字列を受け入れるようにするにはどうすればよいですか? b 部分には a と c の両方の要素が含まれているためです。

4

1 に答える 1