获得两个NFA

Question

所以我有这个问题，我必须找到两个NFA的交集，我找不到任何解决方案。 所以你有两个自动机m1和m2，其中m1 =（Q1，Σ1，Δ1，q1，F1），m2 =（Q2，Σ2，Δ2，q2，F2）。

我认为Q是由Q1和Q2的状态组合形成的，因此m的任何状态都由m1和m2的每种可能的状态组合构成。

然后Σ由Σ1和Σ2的并集形成。我想。

然后，开始结束状态由m1和m2的开始和结束状态的组合构成。

但我的问题是：F和Δ是如何形成的。它只是笛卡儿的产品还是特别的东西？

有没有人知道是否存在差异，或者我对其他部分完全错了？

所以我有这个练习并找到了以下解决方案。所以练习是制作这两个NFA的交集： Excercise

这是我的简化解决方案： Final solution

任何人都可以告诉我，如果我是对的吗？

Answer 1

F由F1和F2的联合形成，因为我们有“或”条件，并且任何给定的F1字符串应该在F中接受，所以我们将F作为F1和F2中的最终状态集合的联合假设这可以根据字母集合最小化，转换取决于F1和F2的转换，并且应该转换为其他形式，因为F1不能转移任何F2的输入，所以再次没有。过渡是F1和F2的笛卡尔积。