对于给定的正确输入字符串，如何纠正稍微不正确的DFA？

Question

我写了一个可以生成DFA的程序。但是DFA略有不正确。也就是说，有时他们无法接受正确的字符串。

我的问题是：是否有任何算法可以纠正DFA，以便他们可以接受给定的正确字符串？

更正式，

假设DFA D 不接受字符串 str 。

需要算法 A ，s.t。 D'= A（D，str）且 D'接受 str

Answer 1

您可以将您想要接受的其他字符串表示为链自动机，然后简单地将这些链的并集与DFA D结合使用。之后您可能还需要确定联合机器。