FIRST集合
构造算法:
对于G中的每一个文法符号 X∈VN∪VT ,反复应用下列规则求FIRST(X),到所求的FIRST集不再增大为止。
(1)若 X∈VT ,则FIRST(X)={X}。
(2)若 X∈VN ,且有 X→aα∈P(a∈VT) ,则令a∈FIRST(X);若有 X→ε∈P ,则令ε∈FIRST(X)。
终结符,直接推导
(3)若 X→Y1Y2…Yk∈P ,且 Y1∈VN ,则令FIRST(Y1)-{ε}FIRST(X)
非终结符
(4)若 X→Y1Y2…Yk∈P ,对所有的 j(1≤j≤i−1) , Yj∈VN ,且 Yj→ε(∗) ,则令FIRST( Yj )-{ε}FIRST(X) (1≤j≤i)
连续的非终结符
(5) (3)(4)中特别当ε∈FIRST( Yj ) (1≤j≤k) 时,令ε∈FIRST(X)。
解释:
FIRST集合表示的是,由非终结符号能够推导出的所有句子的第一个终结符号。
那么如果 A→aB ,就直接可以得到结果。
如果是 A→BD ,我们要继续看B的推导情况,因为A推出的句子首位肯定是B的位置,所以我们必须看B的FIRST集合。
如果B能够推出 ε ,则A推出的句子可以以D推出的句子开头,那么继而考虑D的情况。
如果
FOLLOW集合
构造:
对于G中的每一 A∈VN ,为构造FOLLOW(A),可反复使用如下的规则,直到每一个FOLLOW集不再增大为止。
(1)对于文法的开始符号 S ,令
(3)对于每一个 A→αB∈P 或 A→αBβ∈P ,且ε∈FIRST(β),则令FOLLOW(A)FOLLOW(B)。
解释:
FOLLOW集合表示的是,由非终结符号能够推导出的所有句子之后(不包含在推导出的句子内)的第一个终结符号。
那么如果 A→Bβ ,则B推导出的句子后面一定可能跟着 β ,这 β 就属于FOLLOW(B)。
如果是 A→BC ,那么我们想B推导出的句子后面一定可能跟着C的句子,那么C推导出的句子的第一个终结符号(恰好是FIRST(C)里的元素)就属于FOLLOW(B)。
如果有 C→ε ,也就是 ε∈FIRST(C) ,则我们可以想到在这个产生中下所有的A推导出的句子中的最后部分(包含在A推导出的句子里)是由B推导出的句子构成,那么A推出的句子后面跟着的终结符必定也跟着B,所以有FOLLOW(A) ∈ FOLLOW(B)。
LL(1)分析法
定义:
一个文法G是LL(1)的, 当且仅当对于G的每一个非终结符A的任何两个不同产生式 A→α|β,
下面的条件成立:
① FIRST(α)∩FIRST(β)=