正则表达式和自动机的相互转化

• 定理
• DFA 到正则表达式
  • 终止状态集的处理
  • 例子
• 正则表达式到 NFA
  • 例子
• NFA 到 DFA
  • 自动机等价和确定化
  • NFA的确定化之子集法构造思想
    • 无ε空边NFA转换为DFA—子集法
    • 带ε空边NFA转换为DFA—子集法
      • 定义1：状态集I的ε闭包
      • 定义2：状态集I的a转换（状态集I经过输入a的转换状态集合）
      • 算法
      • 例子
• 参考资料

定理

对任一确定有限自动机A，存在一正则表达式e,使得L(A)=L(e),反之亦然。

DFA 到正则表达式

现在有一个DFA，要构造正则表达式，我们就给出几种构造的规则。

如图所示可以构造出三种规则：

• 各节点连接在一起，这个跟我们认识的结果是一样的。我们接受的就是a和b的连接相当于说接受ab到3状态
• 第二种也很好理解，走上面的路和走下面的路都行，能接受的串就是a或b，正则表达式也是并的关系，解释出来相同
• 第三种就是a必须有b可以有0~无穷 c必须有

在自动机中的边大概就是这几种，我们可以反反复复的用这几种规则

但是实际情况 DFA 转化到正则还是有一些问题的，只有结构化的自动机1才能转化为正则表达式。非结构化的自动机必须先转化为结构化的才能继续，转化方法有如下两个：

• 语句前加标号
• 解方程

终止状态集的处理

当出现多个终止节点时，我们可以通过将这些终止节点都连接到一个同一个虚拟的终止节点。

例子

正则表达式到 NFA

Thompson结构

我们注意到第三张图有两个空边，我们可能会想能不能省略掉最后那个空边呢？

答案是不行的，因为在某些情况下可能会有错误。

本来ab后面不能接d，但是这么画完，可能就接d了。所以最后要有空边。

这就是我们给出的从正则表达式到自动机的规则，因为正则表达式的运算就是这么几种，我们重复使用这些规则以后，就把每一个边上都拆成了某一个字符，就变成了所谓的自动机

例子

给出一个正则表达式 (a|b)(c|d)\*(e|f) , 将其转化为 NFA

NFA 到 DFA

自动机等价和确定化

定义：设A1和A2是同一个字母表上的自动机，如果有L(A1)=L(A2)，则称A1和A2等价

定理：对于每一个非确定有限自动机A，存在一个确定有限自动机A’，使得L(A)=L(A’)

NFA的确定化：由NFA构造出与其等价的DFA称为NFA确定化

NFA的确定化之子集法构造思想

基本思想：对于NFA来说，开始状态是一个集合，映射到的也是一个集合，所以我们的基本思想就是把状态集看成一个状态。对于映射函数来说，左边本来是一个状态的映射，现在我们来把他也看作是一个集合，就是这个集合在接收某个符号的时候映射到某一个状态集上。按照这种思路做下去，由于S是有限的，所以他的幂集（子集）也是有限的，做到某个时候就会收敛

长话短说：让DFA的某一个状态去记录NFA读入一个输入符号后可能达到的一组状态

无ε空边NFA转换为DFA—子集法

道理和带空边的 NFA 基本一样

带ε空边NFA转换为DFA—子集法

从严格意义上来说自动机描述中是不带空边的，是为了描述的方便引入的。带空边的NFA的是一种比较特殊的NFA

定义1：状态集I的ε闭包

设I是NFA M状态集的子集，定义I的ε闭包ε-CLOSURE(I)为：

1. 若q ∈I ,则q ∈ε_CLOSURE(I)
2. 若q∈I,那么从q出发经任意条ε弧而能到达的任何状态q’都属于 ε-CLOSURE(I)

定义2：状态集I的a转换（状态集I经过输入a的转换状态集合）

若I={S1,…,Sm}是NFA的状态集的一个子集，对于任意的输入a∈KaTeX parse error: Expected 'EOF', got '&' at position 1: &̲sum;，则状态集I经过输入a转换的状态集合

Ia = ε_CLOSURE(J)

其中: J = f(S1,a) ∪ \cup∪ f(S2,a) … ∪ \cup∪ f(Sm,a)

算法

已知 A：NFA, 构造 A’:DFA

1. 令A’的初始状态为I0’=ε_CLOSURE({S1,S2,…Sk}),其中S1…Sk是A的全部初始状态。
2. 若I={S1,…,Sm}是A’的一个状态，a∈∑，则定义f’(I, a)=Ia，将Ia加入S’，重复该过程，直到S’不产生新状态。
3. 若I’={S1,…,Sn}是A’的一个状态,且存在一个Si是A的终止状态，则令I’为A’的终止状态。

例子

过程如下：

• NFA的初始状态是1，该状态可以接收一个空闭包ε到状态2。因此DFA的初始状态是 {1,2}
• 由上可知DFA的初始状态是 {1,2}，{1,2} 中的 1 接收输入字a可转换到 {4,5}，而 {4,5} 接收空闭包到状态 {6,7}，其中 6 还可以接收空闭包到状态 2。而 2 不能接收输入字 a。因此 {1,2} 接收输入字a可转换到 {2,4,5,6,7}。
• {1,2} 中的 1 不能接收输入字 b；2 接收输入字 b 到 状态3，状态 3 还可以接收空闭包到状态 8。因此 {1,2} 接收输入字b到状态 {3,8}。
• 进行如上三步后，DFA 中的状态有 {1,2}、{2,4,5,6,7}、{3,8}，其中 {1,2} 状态转换后的状态已经算完。
• 接下来，我们再看DFA的状态 {2,4,5,6,7}。该状态不能接收输入字a；该状态中的2状态接收 b 到达 3 状态，该 3 状态接收空闭包还可到达8状态。其中的 6 状态和 7 状态均可接收输入字b到达9状态。于是DFA的状态中多了一个状态{3,8,9}。
• 我们再看DFA中状态{3,8}。其中的状态8接收输入字a可以到达状态9；状态{3,8}不能接收输入字b。因此 DFA 的状态增加一个状态 {9}。
• 再来看状态{3,8,9}，其中的状态8接收输入字a可以到达状态9；该状态不能接收输入字b。由于DFA中已经有状态{9}，不再重复加入 DFA 的状态。
• 最后只有一个状态 {9} 了，该状态不能接收任何输入字。
• 总结出DFA中有状态 {1,2}，{2,4,5,6,7}，{3,8}，{3,8,9}，{9}。其中包含有NFA的终止状态 6 7 9 中任意一个状态的状态是DFA的终止状态。

制表结果：

状态 \ 输入字	a	b
+{1,2}	{2,4,5,6,7}	{3,8}
-{2,4,5,6,7}	{}	{3,8,9}
{3,8}	{9}	{}
-{3,8,9}	{9}	{}
-{9}	{}	{}

+ - 分别是起始状态和终止状态。

转换后的结果如图所示 

• {1, 2} 对应 1
• {2, 4, 5, 6, 7} 对应 2
• {3, 8} 对应 3
• {3, 8, 9} 对应 4
• {9} 对应 5

参考资料

Nondeterministic finite automaton（这里有提 Nondeterministic finite automaton with ε-moves (NFA-ε) is a further generalization to NFA. ）

《编译原理及实践》

Footnotes

1 这个情形非常类似于我们程序中结构化的问题，所谓的结构程序设计有三种结构： 顺序 分支 循环 。特殊的还有一个函数调用。按照这样的结构构造的程序称作是 结构化的程序 。归纳起来就是三种结构，按照这种结构最后可以把程序图归成一个节点，那就非常类似于我们给出的顺序分支循环。但是实际的程序中可能有非结构的情形，例如goto语句。那样的程序图就会变的很乱。那就跟我们这里很像，假如dfa是结构化的，按照这样的一些规则把他变换过去一点问题都没有，但是大家想假如自动机中有若干的环路套在一起，那用这样几种规则来变换，就不能直接的变换成这种形式，那就需要有一个结构的到非结构的转换，那个就比较复杂了，有所谓的 结构定理 等等，在自动机里也有一些相关的复杂的算法，可以自己看书