有哪些方法可以找到非确定性有限自动机（NFA），它接受给定NFA接受的语言的补充？

Question

我知道找到NFA接受给定NFA接受的语言补充的唯一方法是将NFA转换为等效的DFA，然后将非最终状态作为最终状态，将最终状态设为非最后。有没有其他方法可以实现相同的目标？

Answer 1

基本上，给定NFA A，它可以转换为等效语言（在接受相同语言的意义上）DFA B，而后者又可以修改为C通过使每个终端状态为非终端，反之亦然，以接受A接受的语言的补充。

Answer 2

我知道的唯一方法就是你的解决方案。

我觉得必须有办法证明没有其他解决方案存在。但我现在无法建立证据。