1
で認識することができます。以下の図は、マシンM1を表す場合計算の理論：どのように言語はこれは、計算書の理論から取られているマシンM1
、
どのようにすることができます言語マシンM1は、以下のように記述されることを認識する。
A = {w |文字列011がマシンM1に受け入れられた場合、wには少なくとも1つの1と偶数の0が最後の1に続く}
011実際には少なくとも1つの1が含まれていますが、0の偶数は最後の1に続きません。
次に、「0の偶数が最後の1に続く」とは間違っていませんか？
私はまだ（まだ）プログラミングの質問ではないので、このトピックをオフトピックとして閉じることにしました。書かれているように、それは計算理論に関する質問です。 –
@ RaymondChenこれらの投稿は通常どこに行きますか？それは、stackoverflow上の人々は、前に計算の理論に非プログラミングの質問をしているようだ、それは投稿することが安全だと感じた理由 – haxtar
cs.stackexchange.comは計算理論、コンピュータアーキテクチャの設計、正式な方法、ラムダ計算... –