[英]What are the ways to find a Non-Deterministic Finite Automata (NFA) that accepts complementary of the language accepted by a given NFA?
我知道找到一个NFA接受给定NFA接受的语言的补充的唯一方法是将NFA转换为等效的DFA,然后将非最终状态设为最终状态,将最终状态设为非最终状态。 还有其他方法可以达到相同目的吗?
基本上,给定NFA A
,可以将其转换为等效的DFA B
(就接受相同的语言而言),然后可以通过使每个终端状态都为非终端状态将其修改为C
,反之亦然,以便接受A
接受的语言的补充。
我知道的唯一方法就是您的解决方案。
我觉得必须有一种方法可以证明没有其他解决方案。 但是我现在无法建立证明。
声明:本站的技术帖子网页,遵循CC BY-SA 4.0协议,如果您需要转载,请注明本站网址或者原文地址。任何问题请咨询:yoyou2525@163.com.