計算理論 - DFA

Question

私は3の「Z」の倍数の数（例えば「xzyyxzzyy」）

は、誰もがどのように知っていて言葉を受け入れ、アルファベット{X、Y、Z}のDFAを設計したいです？それを受け入れる言語は何ですか？

Answer 1

モジュロ3のzの数を追跡するには、3つの状態が必要です。状態は入力z上で相互に循環し、＃z（w）= 0（mod 3）のものは唯一の受け入れ状態になる。

任意のxとyを許可するために、各状態はこれらの入力でループすることができます。

q0、q1、q2を状態に使用すると、q0を初期状態にして状態を受け入れるだけです。次に、3つの遷移f（q、x）= qと3つの遷移f（q、y）= qがあり、 9つの遷移。