finite-automata - 与えられた正しい入力文字列に対して、わずかに間違ったDFAを修正する方法は？

Question

DFAを生成できるプログラムを作成しました。しかし、DFAはわずかに正しくありません。つまり、正しい文字列を受け入れられない場合があります。

私の質問は、DFAを修正して、指定された正しい文字列を受け入れることができるアルゴリズムはありますか？

より正式には、

DFADが文字列strを受け入れないとします。

アルゴリズムが必要A、st D'= A（D、str）およびD'はstrを受け入れます

Answer 1

チェーンオートマトンとして受け入れたい追加の文字列を表し、DFA Dを使用してこれらのチェーンを単純に結合することができます。その後、結合されたマシンを決定する必要がある場合もあります。