Computer science 找到一个非确定性有限自动机（NFA）的方法是什么，它接受给定NFA所接受的语言的互补性？

我所知道的找到接受给定NFA所接受的语言的互补性的NFA的唯一方法是将NFA转换为等效的DFA，然后将非终态作为终态，终态作为非终态。有没有其他方法可以达到同样的效果？

基本上，如果一个NFA

A

，它可以转换成一个等价的（在接受相同语言的意义上）DFA

B

，为了接受

A

所接受的语言的补码，我知道的唯一方法就是你的解决方案

我觉得必须有办法证明没有其他解决办法。但我现在无法证明