编译原理与技术（第四章）语法分析

FIRST集合

构造算法：

对于G中的每一个文法符号$X∈V^N∪V^T$，反复应用下列规则求FIRST(X)，到所求的FIRST集不再增大为止。
（1）若$X∈V^T$，则FIRST(X)={X}。
（2）若$X∈V^N$，且有$X\rightarrow aα∈P(a∈V^T)$，则令a∈FIRST(X)；若有$X\rightarrow ε∈P$，则令ε∈FIRST(X)。

终结符，直接推导
（3）若$X\rightarrow Y_1Y_2…Y_k∈P$，且$Y_1∈V^N$，则令FIRST(Y1)-{ε}FIRST(X)
非终结符
（4）若$X\rightarrow Y_1Y_2…Y_k∈P$，对所有的$j(1\leq j\leq i-1)$，$Y_j∈V^N$，且$Y_j\rightarrow ε(*)$，则令FIRST($Y_j$)-{ε}FIRST(X) $(1\leq j\leq i)$
连续的非终结符
(5) （3）（4）中特别当ε∈FIRST($Y_j$) $(1\leq j\leq k)$时，令ε∈FIRST(X)。

解释：

FIRST集合表示的是，由非终结符号能够推导出的所有句子的第一个终结符号。
那么如果$A\rightarrow aB$，就直接可以得到结果。
如果是$A\rightarrow BD$，我们要继续看B的推导情况，因为A推出的句子首位肯定是B的位置，所以我们必须看B的FIRST集合。
如果B能够推出$ε$，则A推出的句子可以以D推出的句子开头，那么继而考虑D的情况。
如果$A\rightarrow BCD$，BCD都可以推出ε，则A也可以推出ε。

FOLLOW集合

构造：

对于G中的每一$A∈V^N$，为构造FOLLOW（A），可反复使用如下的规则，直到每一个FOLLOW集不再增大为止。
（1）对于文法的开始符号$S$，令$∈FOLLOW(S)。 （2）对于每一个$A\rightarrow αBβ∈P$，令FIRST(β) -{ε}FOLLOW(B).
（3）对于每一个$A\rightarrow αB∈P$或$A\rightarrow αBβ∈P$，且ε∈FIRST(β)，则令FOLLOW(A)FOLLOW(B)。

解释：

FOLLOW集合表示的是，由非终结符号能够推导出的所有句子之后（不包含在推导出的句子内）的第一个终结符号。
那么如果$A\rightarrow B\beta$，则B推导出的句子后面一定可能跟着$\beta$，这$\beta$就属于FOLLOW(B)。
如果是$A\rightarrow BC$，那么我们想B推导出的句子后面一定可能跟着C的句子，那么C推导出的句子的第一个终结符号（恰好是FIRST(C)里的元素）就属于FOLLOW(B)。
如果有$C\rightarrow ε$，也就是$ε\in FIRST(C)$，则我们可以想到在这个产生中下所有的A推导出的句子中的最后部分（包含在A推导出的句子里）是由B推导出的句子构成，那么A推出的句子后面跟着的终结符必定也跟着B，所以有FOLLOW(A)$\in$FOLLOW(B)。

LL(1)分析法

定义：

一个文法G是LL（1）的， 当且仅当对于G的每一个非终结符A的任何两个不同产生式 A→α|β，
下面的条件成立：
　　 ① FIRST（α）∩FIRST(β)=