编译原理FIRST集、FOLLOW集、SELECT集求法通俗解释 & LL(1)文法判定

1.为什么要引入FIRST集的概念？

• 因为有公共左因子的问题，公共左公因子是指在文法的产生式集合中，某个非终结符的多个候选式具有相同的前缀。
• 一般来说，公共左公因子的产生式为
  $$A→\alpha\beta_1│\alpha\beta_2$$
• 如果有公共左因子的问题，那么只能采取试探的方法来分析每一个候选式，分析的过程很可能产生回溯，回溯分析法是一种不确定的方法。
• 若所有候选式都没有公共左因子就可以选择惟一匹配的候选式，不会产生(公共左公因子引起的)回溯。
• 为了消除回溯，对任何一个非终结符和当前的待匹配符号，期望
  
  • 要么只有一个候选式可用
  • 要么没有候选式可用

因此引入以下FIRST集合的概念:

• 对$\alpha \in (V_T\bigcup V_N)^*$,有
  $$FIRST(\alpha)＝\{a|\alpha \stackrel{*}\Longrightarrow a \cdot \cdot \cdot, a\in V_T\}$$
  特别地，若$\alpha \stackrel{*}\Longrightarrow \varepsilon$,则$\varepsilon \in FIRST(\alpha)$

因此对于每一文法符号 $X\in V_T\bigcup V_N$，构造$FIRST(X)$的方法为:
使用下列规则，直至每个FIRST集不再增大为止：

• 若$X\in V_T$，则$FIRST(X) = \{X\}$(意思是如果$X$是终结符，则其$FIRST$集合为其自身)；

• 若 $X\in V_N$，那么$X$的产生式分以下三种情况:

  • $X \to \varepsilon$

  • 则$\varepsilon \in FIRST(X)$
  • $X \to a \cdot \cdot \cdot$
  • 则$a \in FIRST(X)$
  • $X \to Y \cdot \cdot \cdot$，且$Y \in V_N$

  • 则$FIRST(Y) – \{\varepsilon\} \subseteq FIRST(X)$

  • 特例: $X \to Y_1Y_2 \cdot \cdot \cdot Y_{i-1}Y_i\cdot \cdot \cdot Y_k$
        且 $Y_1, Y_2, \cdot \cdot \cdot Y_{i-1} \in V_N$
         $Y_1, Y_2, \cdot \cdot \cdot Y_{i-1} \stackrel{*}\Longrightarrow \varepsilon$

    • 则$FIRST(Y_j) – \{\varepsilon\} \subseteq FIRST(X) (1 \leq j \leq i - 1)， FIRST(Y_i) \subseteq FIRST(X)$

  • 特别地，当$Y_1Y_2 \cdot \cdot \cdot Y_{i-1}Y_i\cdot \cdot \cdot Y_k\stackrel{*}\Longrightarrow \varepsilon$

    • 则 $\varepsilon \in FIRST(X)$

  结论:针对无空产生式的文法G，同一非终结符的任两个产生式的右部符号串的FIRST集无交集，即可进行确定的自顶向下分析。

  2.为什么要引入FOLLOW集的概念？

  考虑文法G[S]:
  $S\to aA$
  $S\to d$
  $A\to bAS$
  $A\to\varepsilon$
  求得各终结符和符号串的FIRST集合如下:
  $FIRST(S) = \{a, d\}$
  $FIRST(A) = \{b, \varepsilon\}$
  $FIRST(aA) = \{a\}$
  $FIRST(d) = \{d\}$
  $FIRST(bAS) = \{b\}$
  $FIRST(\varepsilon) = \{\varepsilon\}$
    若输入串$W = abd$，则试图推导出abd串的推导过程为$S\Rightarrow aA \Rightarrow abAS \Rightarrow abS \Rightarrow abd$
    从以上推导过程中可以看到，在第2步到第3步的推导中，即$abAS \Rightarrow abS$时，因为当前面临的输入符号为$d$，但是最左非终结符$A$的产生式右部的开始符号集都不包含$d$，但有$\varepsilon$，因此对于$d$的匹配自然认为只能依赖于在可能的推导过程中$A$的后面的符号，所以这时候选用产生式$A \to \varepsilon$向下推导。而当前$A$后面的符号为$S$，$S$产生式右部的开始符号集包含了$d$，所以例子中可用$S \to d$推导得到匹配。
  语法树如下所示:
  
  很显然，我们从以上叙述中可以得出:
    当某一非终结符的产生式中含有空产生式时，它的非空产生式右部的开始符号集两两不相交，并与在推导过程中紧跟该非终结符右部可能出现的终结符集也不相交，则仍可构造确定的自顶向下分析。因此，引入了一个文法符号的后跟符号集合。
  引入以下FOLLOW集的概念:

  • 对$A \in V_N$，有
    $FOLLOW(A) = \{a|S \stackrel{*}\Longrightarrow \cdot\cdot\cdot Aa \cdot \cdot \cdot，a\in V_T\}$
    若$S \stackrel{*}\Longrightarrow \cdot\cdot\cdot A$，则规定$\# \in FOLLOW(A)$
    这里用#作为输入串的结束符，也称为输入串括号。

  因此对于每一文法符号 $A\in V_N$，实际上求$FOLLOW(A)$
  就是考察A在产生式右端的出现情况，哪些终结符号可以跟随在A后面？

  使用下列规则，直至每个FOLLOW集不再增大为止：

  • 首先，设S为文法的开始符号，把$\{\#\}$加入$FOLLOW(S)$中(这里#为句子括号)
  • 若$B \to \alpha A\beta$是一个产生式，则 $FIRST(\beta)-\{\varepsilon\}\subseteq FOLLOW(A)$
  • 如果$B \to \alpha A$或者$B \to \alpha A \beta$且$\beta \stackrel{*}\Longrightarrow \varepsilon$，则 $FOLLOW(B) \subseteq FOLLOW(A)$
    
    • 解释: 因为在推导过程中可能出现如下的句型序列:
    • $S\stackrel{*}\Rightarrow \cdot\cdot\cdot \alpha_1B\beta_1 \cdot\cdot\cdot \Rightarrow \cdot\cdot\cdot \alpha_1\alpha A\beta\beta_1 \cdot\cdot\cdot \Rightarrow \cdot\cdot\cdot \alpha_1\alpha A\beta_1 \cdot\cdot\cdot$

  例题:
  $A\to BCc\ |\ gDB$
  $B \to bCDE\ |\ \varepsilon$
  $C\to DaB\ |\ ca$
  $D\to dD\ |\ ε$
  $E\to gAf\ |\ c$

  非终结符	FIRST	FOLLOW
  A	{a, b, c, d, g}	{f, #}
  B	{b, $\varepsilon$}	{a, c, d, g, f, #}
  C	{a, c, d}	{c, d, g}
  D	{d, $\varepsilon$}	{a, b, c, g, f, #}
  E	{c, g}	{a, c, d, g, f, #}

  对于FIRST集合，解释其中的FIRST(A)的求解。

  • $A\to BCc$属于上述产生式的特例情况，很显然$B \stackrel{*}\Rightarrow \varepsilon，C \stackrel{*}\nRightarrow \varepsilon$，因此
    $(FIRST(B) - \{\varepsilon\}) \bigcup FIRST(C) \subseteq FIRST(A)$
  • $A\to gDB$属于上述产生式的第二种情况，因此$g \in FIRST(A)$
  • 最后得出:
    $FIRST(A) = (FIRST(B) - \{\varepsilon\}) \bigcup FIRST(C) \bigcup \{g\}$
  • 而$FIRST(B) = \{b, \varepsilon\}，FIRST(C) = \{a, c, d\}$
  • 故$FIRST(A) = \{a, b, c, d, g\}$

  对于FOLLOW集合，有如下的计算情况:

  $$\begin {aligned} FOLLOW(A) = (FIRST(f) -\{\varepsilon\}) \bigcup \{\#\} = \{f, \#\} \end {aligned}$$
  $$\begin {aligned} FOLLOW(B) &= (FIRST(Cc) - \{\varepsilon\}) \bigcup FOLLOW(A) \bigcup FOLLOW(C) \\\ &= \{a,c,d\} \bigcup \{f, \#\} \bigcup FOLLOW(C) \\\ &= \{a,c,d\} \bigcup \{f, \#\} \bigcup \{c, d, g\} \\\ &= \{a, c, d, g, f, \#\} \end {aligned}$$
  $$\begin {aligned} FOLLOW(C) &= (FIRST(c) - \{\varepsilon\}) \bigcup (FIRST(DE) - \{\varepsilon\}) \\\ &= \{c\} \bigcup (FIRST(D) - \{\varepsilon\}) \bigcup FIRST(E)\\\ &= \{c, d, g\} \end {aligned}$$
  $$\begin {aligned} FOLLOW(D) &= (FIRST(B) - \{\varepsilon\}) \bigcup FOLLOW(A) \bigcup (FIRST(E) - \{\varepsilon\}) \bigcup (FIRST(aB) - \{\varepsilon\})\\\ &= \{b\} \bigcup \{f, \#\} \bigcup \{c, g\} \bigcup \{a\} \\\ &= \{a, b, c , g, f, \#\} \end {aligned}$$
  $$\begin {aligned} FOLLOW(E) &= FOLLOW(B) \\\ &= \{a, c, d, g, f, \#\} \end {aligned}$$

  3.为什么要引入SELECT集的概念？

  由于从2中我们得出结论:
    当某一非终结符的产生式中含有空产生式时，它的非空产生式右部的开始符号集两两不相交，并与在推导过程中紧跟该非终结符右部可能出现的终结符集也不相交，则仍可构造确定的自顶向下分析。
    因此当文法中含有形如：
  

  $$A \to \alpha \\ A \to \beta$$
  的产生式时，其中 $A\in V_N, \alpha、\beta \in V^*$，若 $\alpha$和 $\beta$不能同时推导出空，假定 $\alpha \stackrel{*}\nRightarrow \varepsilon，\beta \stackrel{*}\Rightarrow \varepsilon$，则当
  $$FIRST(\alpha) \bigcap FOLLOW(A) = \varnothing \\\ FIRST(\beta) \bigcap FOLLOW(A) = \varnothing$$
  也即是 $FIRST(\alpha) \bigcap (FIRST(\beta) \bigcup FOLLOW(A)) = \varnothing$时，对于非终结符A的替换仍可唯一地确定候选。为了表示和分析方便，因此引入了SELECT集合。
  SELECT集合定义如下：

  • 一个产生式的选择符号集SELECT。给定上下文无关文法的产生式$A \to \alpha,A \in V_N,\alpha \in V^*$，若$\alpha \stackrel{*}\nRightarrow \varepsilon$，则$SELECT(A \to \alpha) = FIRST(\alpha)$。

  • 如果$\alpha \stackrel{*}\Rightarrow \varepsilon$，则$SELECT(A \to \alpha) = (FIRST(\alpha) - \{\varepsilon \}) \bigcup FOLLOW(A)$。

  因此一个上下文无关文法是LL(1)文法的充分必要条件是，对每个非终结符A的两个不同产生式，$A \to \alpha，A \to \beta$，满足
  

  $$SELECT(A \to \alpha) \bigcap SELECT(A \to \beta) = \varnothing$$
  其中 $\alpha、\beta$不同时能 $\stackrel{*}\Rightarrow \varepsilon$。

  再次回到上述例题

  $A\to BCc\ |\ gDB$
  $B \to bCDE\ |\ \varepsilon$
  $C\to DaB\ |\ ca$
  $D\to dD\ |\ ε$
  $E\to gAf\ |\ c$

  
  

  非终结符	FIRST	FOLLOW
  A	{a, b, c, d, g}	{f, #}
  B	{b, $\varepsilon$}	{a, c, d, g, f, #}
  C	{a, c, d}	{c, d, g}
  D	{d, $\varepsilon$}	{a, b, c, g, f, #}
  E	{c, g}	{a, c, d, g, f, #}

  
  

  右部产生式	FIRST
  BCc	{a, b, c, d}
  gDB	{ g }
  bCDE	{ b }
  $\varepsilon$	{$\varepsilon$}
  DaB	{a, d}
  ca	{ c }
  dD	{ d }
  gAf	{ g }
  c	{ c }

    因此根据以上所求得的FIRST集和FOLLOW集，可求得各产生式的SELECT集合如下：
  

  $$\begin {aligned} &SELECT(A\to BCc) = \{a, b, c, d\}\\\ &SELECT(A\to gDB) = \{g\}\\\ &SELECT(B\to bCDE) = \{b\}\\\ &SELECT(B\to \varepsilon) = \{a, c, d, g, f, \#\}\\\ &SELECT(C\to DaB) = \{a, d\}\\\ &SELECT(C\to ca) = \{c\}\\\ &SELECT(D\to dD) = \{d\}\\\ &SELECT(D\to \varepsilon) = \{a, b, c, g, f, \#\}\\\ &SELECT(E\to gAf) = \{g\}\\\ &SELECT(E\to c) = \{c\} \end {aligned}$$
    由上可知，有相同左部产生式的SELECT集合的交集为空，所以文法是LL(1)文法。