【发布时间】：2014-02-22 15:58:14
【问题描述】：
我无法理解如何估计两个 DFA（M1 和 M2，具有 n 和 k 个状态）交集的状态数。我不想构建一个实际的 DFA，而是想了解一个交叉点会给出多少个状态。例如，M1 和 M2 的并集将给出 |n| x |k|状态（如果我理解正确的话）。有没有人可以帮助我理解这个问题？我对 DFA 的理解有些困难……
【问题讨论】：
标签： intersection finite-automata dfa
【发布时间】：2014-02-22 15:58:14
【问题描述】：
给定两个 DFA D1 和 D2 分别具有 n1 和 n2 状态，它是可以构造一个新的 DFA D3，其中有 n1n2 个状态，其语言是 D 语言的交集1 和 D2 使用乘积构造：让 D 的状态对应成对的状态，一个来自 D1，一个来自 D 2，其中接受状态对应于来自 D1 和 D2 的接受状态对。
也就是说，这不一定是交叉口的最低状态 DFA。这只是一些交叉路口的 DFA。
【讨论】：