编译原理与编译构造 文法的优化2

2. 删除$\epsilon$ 产生式

$\epsilon$ 产生式的定义：

$\{A|A \mathop{{\Rightarrow}} \limits^+ \epsilon ,\epsilon \in V_N\}$ ，即经过1步或多步推导出$\epsilon$ 的非终结符，具有$\epsilon$ 产生式

例：$S \to ABC, A \to aA | \epsilon , B \to bB | \epsilon ,C \to cC | \epsilon$

按照上一次笔记的说法，应该是没有多余的$\epsilon$ 产生式了，但是这不是规范的式子。

算法：

1. 找出所有$\epsilon$ 产生式$V_0$

   这里需要用到迭代的思想。将上次得到的$\epsilon$ 产生式带入尚未结束的式子

   a) 构造$V_0'$ 集

   $V_0' = \{A, B, C\}$ 这一步是直接由定义得到的

   b) 将$A, B, C$分别用$\epsilon$ 带入S的式子，得到$S \to \epsilon$

   $V_0'' = V_0' \bigcup \{S\}$

   此时$V_0'' \neq V_0'$ 迭代没有结束

   c) $V_0''' = V_0'' \bigcup \emptyset$

   此时$V_0''' = V_0''$，迭代结束

   $\therefore V_0 = V_0'''$

2. 改写相关产生式

   将所有可以产生$\epsilon$ 产生式的式子，用自身或者用$\epsilon$带入

   $S \to ABC \Rightarrow S \to \epsilon, S \to C , S \to B, S \to BC, S \to A , S \to AC, S \to AB, S \to ABC$

   $A \to aA \Rightarrow A \to aA, A \to a$

   $B \to bB \Rightarrow B \to bB, B \to b$

   $C \to cC \Rightarrow C \to cC,C \to c$

3. 删除除$S \to \epsilon$ 之外的$\epsilon$ 产生式

   即删除在3中得到的右边式子中除$S \to \epsilon$ 之外的$\epsilon$ 产生式

   $S \to \epsilon, S \to C , S \to B, S \to BC, S \to A , S \to AC, S \to AB, S \to ABC$

   $A \to aA, A \to a$

   $B \to bB, B \to b$

   $C \to cC,C \to c$

3’. $S \to \epsilon \Rightarrow S' \to \epsilon ,S' \to S$

这是一个规范

即：

$S' \to \epsilon , S' \to S$

$S \to C , S \to B, S \to BC, S \to A , S \to AC, S \to AB, S \to ABC$

$A \to aA, A \to a$

$B \to bB, B \to b$

$C \to cC,C \to c$

此时$V_0 = \{S'\}$

又例：

$S \to aSbS|bSaS|\epsilon$

1. $V_0 = \{S\}$

2. $S \to aSbS \Rightarrow S \to ab, S \to abS, S \to aSb, S \to aSbs$

   $S \to bSaS \Rightarrow S \to ba, S \to baS, S \to bSa, S \to bSaS$

   $S \to \epsilon$

3. 此时没有进行任何操作

3’. $S \to \epsilon \Rightarrow S' \to S, S' \to \epsilon$ ，此时$V_0 = \{S'\}$