如何爲給定的正確輸入字符串糾正稍微不正確的DFA？

Question

我寫了一個可以生成DFA的程序。但是DFA有些不正確。也就是說，有時他們不能接受正確的字符串。

我的問題是：是否有任何算法可以糾正DFA，以便他們可以接受給定的正確字符串？

更正式，

假設DFA d不接受字符串海峽。

需要算法A，s.t. d「= A（d，STR）和d」接受海峽

Answer 1

你可以代表附加的字符串（）你想接受作爲鏈自動機，然後簡單地採取這些鏈的聯合與DFA D.之後，您可能還需要確定聯合機器。