NFA转DFA的子集构造(Subset Construction)算法详解

之前学习编译原理的时候老师有讲过子集构造法，当时我以为自己听懂了，信心满满。可是这两天我做了一些题目，发现自己实际上还是太嫩了，学习浮于表面。之后又重新看了龙书和虎书，对子集构造法有了更深层次的了解。特此发出一篇文章分享我的经验。

1 概念

概念是我们学习编译原理的重中之重，虽然他很晦涩难懂，但我有必要将其放在最开始。

1.1 虎书概念

虎书的概念更偏向于理论化，我当时看的时候一头雾水，但是不要担心，之后会一点一点解释的。

首先，我们形式化定义$ϵ$闭包如下：

• $edge(s,c)$：状态$s$沿着标有$c$的边可到达的所有NFA状态的集合；
• $closure(S)$： 对于状态集合$S$，从$S$出发，只通过$ϵ$边可以达到的状态集合；
  • 这种经过$ϵ$边的概念可以用数学方法表述，即$closure(S)$是满足如下条件的最小集合$T$：
    $T=S\cup \left({\bigcup }_{s\in T}edge(s,ϵ)\right)$
  • 我们可以用迭代法来算出$T$：
    $$\begin{gathered} T\leftarrow S \\ repeat{T}^{\prime }\leftarrow T \\ T\leftarrow T^{\prime }\cup \left({\bigcup }_{s\in T^{\prime }}edge(s,ϵ)\right) \\ untilT=T^{\prime } \end{gathered}$$

解释一下：当我们位于一个状态集合$S$，$S$里任意状态经过若干$ϵ$能够到达的状态，都将包含在 $closure(S)$ 里。

• 龙书里将这个操作定义为$ϵ-closure(T)$($T$为状态集合)。

现在，假设我们位于由NFA状态$s_i,s_k,s_l$组成的集合 d = { s i , s k , s l } d= \lbrace s_i,s_k,s_l \rbrace d={ si​,sk​,sl​}中。从$d$中的状态出发，输入符号$c$，将到达NFA新的状态集；我们称这个状态集为$DFAedge(d,c)$：

• $DFAedge(d,c)=closure\left({\bigcup }_{s\in d}edge(s,c)\right)$

解释一下：将遍历集合$d$中的所有状态，得到 $d$ 关于$T=edge(s,c)$的状态集，并对 $T$ 求 $closure(T)$，得到的即为$DFAedge(d,c)$。简而言之，就是从一个状态集，经过一个输入到达的状态集为 $T^{\prime }=DFAedge(d,c)$。

利用 D F A