【发布时间】：2019-05-13 02:05:42
【问题描述】：
我遇到了这个问题。
令 A = {〈N1, N2〉 | N1 和 N2 是 NFA 并且 L(N1) ∩ L(N2) =∅}。证明 A 是可判定的。
感谢任何帮助。
【问题讨论】：
标签： regular-language computation-theory dfa nfa
【发布时间】：2019-05-13 02:05:42
【问题描述】：
给定一个输入，这里有一个算法判断L(N1) ∩ L(N2) =∅：
- 使用 powerset 构造将 N1 和 N2 确定为 D1 和 D2。缓慢但有效。
- 使用笛卡尔积机器构造将 D1 和 D2 相交成 M。
- 使用一些 DFA 最小化算法将 M 最小化为 M'
- 查看 M' 是否处于接受状态。如果是这样，停止拒绝；否则，停止接受。
这是用于确定集合中包含和/或排除的有效可计算过程，因此集合是可判定的。
【讨论】：