是否有一种有效的算法来决定一个NFA接受的语言是否是另一个NFA接受的语言的超集？

Question

鉴于两个非确定性有限自动机 M1 和 M2 ，是否有一种有效的算法来确定 M1 接受的语言是否是超集 M2 接受的语言？

Answer 1

除非P = NP。如果你有这样的算法，你可以简单地判断两个NFA是否是同构的（只检查A是否是B的超集，B是A的超集），这是known NP-hard problem。有关详细信息，请read this paper。它有一个很好的令人沮丧的复杂性结果表。