找到接受給定NFA所接受語言的補充的非確定性有限自動機（NFA）有什麼方法？

Question

我知道找到接受給定NFA接受的語言的補充的NFA的唯一方法是將NFA轉換爲等效的DFA，然後將非最終狀態作爲最終狀態和最終狀態作爲非最終狀態。有沒有其他辦法可以達到同樣的效果？

Answer 1

基本上，給出的NFA A，它可以被轉換爲等效的（在接受相同的語言的意義上）DFA B，這反過來又可以通過使每一終端狀態的非終端，反之亦然被修改爲C以接受A接受的語言的補充。

Answer 2

我知道的唯一方法就是您的解決方案。

我覺得必須有辦法證明沒有其他解決方案存在。但我現在無法建立證明。