DFAを設計するとき、私は2つの別々の機械を設計し、それに対して交差点を実行することができますか?

私はDFA s.tを設計しようとしています。 x∈{0,1}の文字列の集合*
0の数は3の倍数であり、1の数は偶数である。

私の考えは、2つのマシンM1 =(Q1、Σ、δ1、q1、F1)、M2
=(Q2、Σ、δ2、q2、F2)を作成することでした。

第1のMは、1の数が偶数であるかどうかをチェックし、第2の数では、0の数が3の倍数であるかどうかをチェックする。

M1が受け入れ、M2が受け入れるならば、それはM1交差M2であり、Mは入力Aを受け入れる。これは可能なDFAの有効な表現であるか、単数の機械Mを作るはずである。
DFAは入力Aを受け入れますか?

ベストアンサー

@Micheal
Weharによって与えられたヒントのおかげで、私はデカルト製品の構造と交差点を調べました。私はこの答えに遭遇しました:


https://stackoverflow.com/questions/7780521/どのように使用する – 交差 – 建設 –
フォームへのDFAへ

それは適切に質問に答えるようです。

返信を残す

メールアドレスが公開されることはありません。 * が付いている欄は必須項目です