二組を考えるとのアルファベットを超える文字列のΣ、我々は計算することができ、最小決定性有限オートマトン(DFA)MようにA ⊆ L (M )とL (M )⊆ Σ * ∖ B?
つまり、は一連の正の例を表します。Aのすべての文字列は、DFAによって受け入れられる必要があります。 Bは否定的な例のセットを表します。Bの文字列はDFAで受け入れられません。
DFA最小化手法を使用して、これを解決する方法はありますか?受け入れ状態、拒否状態、および「ドントケア」状態の3種類の状態を持つDFAのようなオートマトンを作成することを想像できます(「ドントケア」状態で終わるすべての入力を受け入れることができます)または拒否されました)。しかし、これを通常のDFAに最小化する方法を見つけることができますか?
ポジティブな例とネガティブな例を考えると、これをDFAの学習の問題と考えることができます。
これは、正規表現ゴルフNP-Completeに触発されてい ます。、DFAではなく正規表現に対して同様の質問をします。