簡體   English   中英

是否有一種有效的算法來決定一個NFA接受的語言是否是另一個NFA接受的語言的超集?

[英]Is there an efficient algorithm to decide whether the language accepted by one NFA is a superset of the language accepted by another?

給定兩個非確定性有限自動機M1M2 ,是否有一種有效的算法來確定M1接受的語言是否是M2接受的語言的超集?

除非P = NP,否則不會。 如果你有這樣的算法,你可以簡單地判斷兩個NFA是否是同構的(只檢查A是否是B的超集,B是A的超集),這是一個已知的NP難問題 有關詳細信息,請閱讀本文 它有一個很好的令人沮喪的復雜性結果表。

暫無
暫無

聲明:本站的技術帖子網頁,遵循CC BY-SA 4.0協議,如果您需要轉載,請注明本站網址或者原文地址。任何問題請咨詢:yoyou2525@163.com.

 
粵ICP備18138465號  © 2020-2024 STACKOOM.COM