正规式与有限自动机的等价性

对任何$FAM$，都存在一个正规式$r$，使得$L(r)=L(M)$

（1）在$M$的状态转换图上增加两个结点$X$和$Y$，从$X$用$ϵ$弧连接到$M$的所有初态结点，从$M$的所有终态结点用$ϵ$弧连接到$Y$，记新的$NFA$为$M^{\prime }$，它只有一个初态$X$和$Y$，显然有$L(M^{\prime })=L(M)$；

（2）合并状态，使$M^{\prime }$只剩下初态$X$，终态$Y$这两个状态；
反复利用以下规则：

对任何正规式$r$，都存在一个$FAM$，使得$L(M)=L(r)$

对$r$中的运算符数目（或，连接，闭包）进行归纳：

（1）若$r$具有0个运算符，则$r=ϵ$或$r=\varphi$或$r=a$，其中$a\in \Sigma$；

（2）假设结论对少于$k(k\ge 1)$个运算符的正规式成立，当$r$中含有$k$个运算符时，有3种情形：

情形一：$r=r_1|r_2$，其中$r_1,r_2$中运算符个数少于$k$，
由归纳假设，对$r_i,\exists M_i=(S_i,{\Sigma }_i,{\delta }_i,q_i,f_i)⟹L(M_i)=L(r_i)$，并且$M_i$没有从状态发出的箭弧$(i=1,2)$，
不妨设$S_1\cap S_2=\varphi$（因为即使有交集，可以复制两份，用两个不同的命名一个加入$S_1$另一个加入$S_2$），在$S_1\cup S_2$中加入两个新状态$q_0,f_0$，

可以构造出 M = ( S 1 ∪ S 2 ∪ { q 0 , f 0 } ， Σ 1 ∪ Σ 2 , σ , { q 0 } , { f 0 } ) M=(S_1\cup S_2\cup\{q_0,f_0\}，\Sigma_1\cup\Sigma_2,\sigma,\{q_0\},\{f_0\}) M=(S1​∪S2​∪{q0​,f0​}，Σ1​∪Σ2​,σ,{q0​},{f0​})，
其中$\delta$定义如下：
① δ ( q 0 , ϵ ) = { q 1 , q 2 } \delta(q_0,\epsilon)=\{q_1,q_2\} δ(q0​,ϵ)={q1​,q2​}
②$\delta (q_0,a)={\delta }_1(q,a)$，当 q ∈ S 1 − { f 1 } , a ∈ Σ 1 ∪ { ϵ } q\in S_1-\{f_1\},a\in\Sigma_1 \cup \{\epsilon\} q∈S1​−{f1​},a∈Σ1​∪{ϵ}
③$\delta (q_0,a)={\delta }_2(q,a)$，当 q ∈ S 2 − { f 2 } , a ∈ Σ 2 ∪ { ϵ } q\in S_2-\{f_2\},a\in\Sigma_2 \cup \{\epsilon\} q∈S2​−{f2​},a∈Σ2​∪{ϵ}
④ δ ( f 1 , ϵ ) = δ ( f 2 , ϵ ) = { f 0 } \delta(f_1,\epsilon)=\delta(f_2,\epsilon)=\{f_0\} δ(f1​,ϵ)=δ(f2​,ϵ)={f0​}
显然：$L(M)=L(M_1)\cup L(M_2)=L(r_1)\cup L(r_2)=L(r)$。

情形二：$r=r_1{r}_2$

情形三：$r=r_1^{\ast }$

虽然这里给出的是归纳法证明，书上也有正规式$r$转换为$NFA$，进一步通过子集法确定化为$DFA$，最后再对$DFA$进行化简的方法。

补充一点理解，确定化，将$NFA$转换为$DFA$，和后面的状态化简，合并状态，使状态数减少不同，确定化可能存在一个状态出现在多个状态子集中，它实际上是在消除$ϵ$带来的影响，而且消除的办法很简单，就是求不考虑$ϵ$的情况下的状态转换矩阵，一个状态由输入输出标识，我们去研究所有出现状态的输入输出，得到新状态，反复进行这一过程，最后得到的就是对应$DFA$的状态转换矩阵。