我无法理解如何估计两个DFA（M1和M2，它们有n和k个状态）的交集中的状态数。我不想构建一个实际的DFA，而是要了解一个交叉点会给出多少个状态。例如，M1和M2的并集将给出| n | x | k |国家（如果我已正确理解这一点）。有没有人可以帮我理解这个问题？我对DFA的理解有点困难......
答案 0 :(得分：2)
给定两个DFA 1 和D 2 分别具有n 1 和n 2 状态，它是可以构造一个新的DFA D 3 ，其中n 1 n 2 状态，其语言是D 的语言的交集1 和D 2 使用乘积结构：D的状态对应于状态对，一个来自D 1 ，一个来自D 2 ，其中接受状态对应于D 1 和D 2 的接受状态对。
也就是说，这不一定是交叉路口的最小状态DFA。它只是某些 DFA的交集。