编译原理精华总结5_语法2

6
4.3 LL(1)分析法
4.3.5 预测分析程序 预测分析法
基本思想：
自左向右扫描分析输入符号串
从识别符号开始生成句子的最左推导
LL(1):向前看一个输入符号，便能唯一确定产生式
LL(k):向前看k个输入符号，才能唯一确定产生式
7
4.3 LL(1)分析法
预测分析程序的逻辑结构：
分析栈、分析表、总控程序
构造分析表
为研究问题方便，统一以‘＃’表示输入串 结束 分析表：二维矩阵M A→αi M[A,a]= error A∈Vn、αi∈V*、a∈VT or #
9
4.3 LL(1)分析法
构造分析表
对文法的每个产生式A→α执行第1步和第2步 1、对每个终结符a∈FIRST（α），A→α==> M[A,a]表示：
12
终结符的产生式右部所决定：
产生式右部的终结符与输入符号相匹配 非终结符与相应的子程序调用对应
4.4 递归下降分析法
递归下降分析法的优缺点 优点： 构造方法非常简单
程序结构清晰
缺点： 递归调用较多，占用内存多、速度慢
如果所采用的高级语言不允许递归，
则不能使用此方法
13
（1）若E为开始符号，则把‚#”加入FOLLOW(E)中； #∈FOLLOW(E)
（2）若B→A,(≠)，则把FIRST()-{}加入FOLLOW(A)中； 由F→(E)可知，)∈FOLLOW(E) * （3）若B→A 或 B→A，且 ,
则把FOLLOW(B)加入FOLLOW(A)中。
10
4.3 LL(1)分析法
LL(1)分析法的优缺点
优点
效率比较高
缺点
对文法的限制较多，降分析法
基本思想：
对文法中的每个非终结符（语法成分）编写 一个子程序，而子程序的代码结构由相应非 程序 分程序 语句 条件 表达式 项 递归子程序 法 因子
（1）文法不含左递归； （2）对于每个非终结符A的各个候选式的终结首符号集两两不 相交。即，如果A→α1|α2|…|αn， 则：FIRST(αi)∩FIRST(αj)=Φ， 其中1≤i，j≤n，且i≠j。 （3）对于文法中每个非终结符A，若它某个候选式的终结首符
号集包含ε，则FIRST(A)∩FOLLOW(A)＝Φ
A在栈顶，输入符号是a，应选择α去匹配，例FIRST(TE’)={(,i}
2、若ε∈FIRST（α）,而且b∈FOLLOW(A)，则A→α==> M[A,b]表示： A已经匹配输入串成功，其后继符号终结符b由A后面的语法成分去
匹配。例FOLLOW(E’)={#,)}
3、把所有无定义的M[A,a]都标上error
由E→TE'，应把FOLLOW(E)加入FOLLOW(E')
E→TE' E'→+TE'| T→FT' T'→*FT'|
F→(E)|i 由E'→+TE'且E'ε，应把FOLLOW(E')加入FOLLOW(T)
5
4.3 LL(1)分析法
4.3.3．LL(1)文法的定义
若一个文法满足以下条件，则称该文法G为LL(1)文法：
4.3 LL(1)分析法
LL的含义：
－自左向右扫描分析输入符号串； －从识别符号开始生成句子的最左推导。
LL(1):向前看一个输入符号，便能唯一确定当前应选择的
规则； LL(k):向前看k个输入符号，才能唯一确定当前应选择的
规则。
要构造确定的自顶向下分析程序要求文法必须是LL(1)文法
1
4.3 LL(1)分析法
E→TE'
E'→+TE'| T→FT'
T'→*FT'|
F→(E)|i
将ε加进FIRST(α)。
例：FIRST(FT')= FIRST(F)-{ε}={(,i}
注意：要顺序往下做，一旦不满足
条件，过程就要中断进行。
4
4.3 LL(1)分析法
构造集合FOLLOW的算法
注：FOLLOW集合中不能有ε
构造FIRST集的算法
E→TE'
E'→+TE'|
（1）若α=aα′，且a∈VT，则a∈FIRST(α)；
例：FIRST(i)={i} FIRST(+TE')={+}
T→FT'
T'→*FT'|
F→(E)|i
（2）若α=Xα′，X∈VN，且有产生式X→b…，则b∈FIRST(α)；
例：FIRST(FT')={(,i}
3
4.3 LL(1)分析法
（3）若α=X1X2 … Xnα′，其中Xi∈VN , 1≤i≤n； ① 将FIRST(X1)中的一切非ε的终结符加进FIRST(α)； ② 若ε∈FIRST(X1)，则将FIRST(X2)中的一切非ε的终 结符加进FIRST(α)； ③ 若ε∈FIRST(X1)且ε∈FIRST(X2),则将FIRST(X3)中 的一切非ε的终结符加进FIRST(α)； ④ 依此类推，若对于一切1≤i≤n,ε∈FIRST(Xi)，则
4.3.1. FIRST集 对于文法G的所有非终结符的每个候选式，其终 结首符号集称为FIRST集，定义如下： * FIRST()={a | a …，a∈VT * 若 ，则规定∈FIRST() FIRST(α)：从α可能推导出的所有开头终结符号或ε
2
4.3 LL(1)分析法
a1 a2 a3 … ai … an#
文法符号
X1
…
分析表：
Xn-1
分析表M 当文法中某一非终结符出现在栈顶时，根据当前的输 Xn
入符号,分析表应指示要用该非终结符里的哪一条产生式规 总控程序 #
则(即进行下一步最左推导) 。 根据栈顶符号X和当前输入符号a来决定分析器的动作
8
4.3 LL(1)分析法