2012-02-09 11 views

答えて

2

ご使用の言語に対応するDFAを用意してください。他のサイクル/ループを含む必要があります。サイクルに対応する新しい状態セットを追加し、この状態セットがサイクル/ループを通る奇数番号のパスを表すことを可能にする(元の状態は偶数パスを表す)。必要に応じて非決定性を追加し、powerset構造を使用してNFAをDFAに戻します。

いずれにしても、より多くの州を持つ同じ言語のDFAになります。

+0

すべてのDFAには、有限数の状態がありますが、入力文字列内の遷移数を任意に大きくできる必要があるため、サイクルが必要です。 DFAはクラッシュすることはできません。 n個の状態を持つDFAは、長さn + 1の文字列を処理(受理または拒否)できなければなりません。これは、ある状態が2回訪問されたことを意味します。ここでも、すべてのDFAにはループ/サイクルがあります。 「反例」を提出すると、ループ/サイクルがあること、またはDFAではないことが示されます。 – Patrick87

+0

ありがとうございました! –

+0

ステートマシンがすべて互いに到達可能なN個の状態を持ち、k個のシンボルのアルファベットからの入力を受け入れるが、マシンについて何も知らない場合、最短の入力を計算する方法はあるかすべてのN * k状態遷移に当たることが保証されています(つまり、基準を満たすすべてのステートマシンのすべての状態遷移にヒットします)。 – supercat

関連する問題