DFA（有穷自动机）状态集最小化算法证明过程

DFA 又称为有穷自动机，在编译器词法分析器，硬件设计，游戏AI逻辑中有着广泛的应用。

DFA和NFA 的描述能力是等价的，NFA便于人们理解和记忆，NFA可以通过子集法转换成DFA，但是状态集不是最小化的。下面给出DFA最小化状态集自动化简的算法，Flex中有实现的源代码。

具体说明和证明过程、算法示例如下

首先，正规式，正规集，DFA，NFA，以及正规文法，从自动机识别或者正规文法生成角度讲，都是等价的，具体的证明过程，可以参考形式语言与自动机理论中的详细证明过程，即 L(M) = G(M')。

即两个字母表 ∑a 和 字母表 ∑b 的连接之后，指定具体的产生式规则，所生成的语言G，和通过构造DFA，产生的自动机识别的语言集合 L 是等价的。

基于此，咱们再来看下DFA 化简算法的具体算法过程。

由于对能识别两个字符集的所有自动机M可以通过 （｜，*，·）三种运算（正则的定义）扩充，题主这里只是其中一种连接运算，因此可以通过连接合并成一个大的自动机M‘，这个自动机能够识别所有的字母表中的字。

于是问题转化为对DFA M’，使得M‘的状态最少，转化为：

寻找一个状态数比M' 少的DFA M''，使得L(M') = L(M'')

先得给出两个定义，假设s和t为M‘的两个状态，称s和t等价 等价：

当且仅当 对于任意的状态s，如果从状态s出发能读出某个字a而停止于终态，那