表明NFA接受的两种语言的交集尚不确定

Question

我对此问题有疑问。

让A = {〈N1，N2〉 | N1和N2是NFA，并且L（N1）∩L（N2）=∅}。证明A是可判定的。

感谢您的帮助。

Answer 1

给出一个输入，这是一种确定L（N1）∩L（N2）=∅的算法：

使用电源组结构将N1和N2确定为D1和D2。缓慢但有效。
1. 使用笛卡尔积机器结构将D1和D2相交到M。
2. 使用DFA最小化算法将M最小化为M'
3. 查看M'是否具有接受状态。如果是这样，请停止；否则，请停止接受。

这是用于确定集合中包含和/或排除的有效计算程序，因此该集合是可确定的。