资源描述:
《自顶向下语法分析》由会员上传分享,免费在线阅读,更多相关内容在教育资源-天天文库。
1、S.PO.P语义分析、生成中间代码生成目标程序代码优化语法分析程序词法分析程序错误处理符号表管理知识结构任务:根据文法规则,从源程序单词符号串中识别出语法成分,并进行语法检查。两大类分析方法:自顶向下分析自底向上分析语法分析的任务+若xS则xL(G[S])否则xL(G[S])G[S]存在主要问题:回溯问题,左递归问题主要方法:递归子程序法、LL分析法自顶向下分析算法的基本思想为:自底向上分析算法的基本思想为:+若xS则xL(G[S])否则xL(G[S])G[S]存在主要问题:“可归约串”的识别问题主要方法:算符优先分析法、LR分析法5.1 自顶向下分析法自顶向下分析
2、的一般过程从S出发采用最左推导,试图逐步推出输入串α,αL(G[S])?S作为语法树的根,试图自上而下地为α构造一棵语法树若叶结点从左向右排列恰好α,则表示α是文法的句子,而这棵语法树就是句子α的语法结构若构造不出语法树,则α不是文法的句子自顶向下分析方法分类确定的不确定的回溯【例】G1[S]:S→pA
3、qBA→cAd
4、aB→dB
5、c识别输入串w=pccadd是否是G1[S]的句子试探推导过程:SpApcAdpccAddpccadd试探成功这个文法的特点:1、每个产生式的右部都由终结符号开始2、如果两个产生式有相同的左部,那么它们的右部由不同的终结符开始【例】G2[S]:S→
6、Ap
7、BqA→a
8、cAB→b
9、dB识别输入串w=ccap是否是G2[S]的句子试探推导过程:SApcApccApccap试探成功这个文法的特点:1、产生式的右部不全是由终结符开始2、如果两个产生式有相同的左部,它们的右部是由不同的终结符或非终结符开始3、文法中无空产生式1.FIRST集FIRST(α):从α可能推导出的所有开头终结符号或ε对于文法G的所有非终结符的每个候选式,其终结首符号集称为FIRST集,定义如下:,则规定∈FIRST()若【例】S→aAbA→cd
10、ca…,a∈VTFIRST()={a
11、FIRST(aAb)={a}FIRST(cd)={c}FIR
12、ST(c)={c}【例】S→AaA→a
13、FIRST(a)={a}FIRST()={}FIRST(Aa)={a}FIRST(S)={a}FIRST(A)={c}FIRST(S)={a}FIRST(A)={a,}(1)若α=aβ,且a∈VT,则a∈FIRST(α);例:FIRST(i)={i}FIRST(+TE')={+}E→TE'E'→+TE'
14、T→FT'T'→*FT'
15、F→(E)
16、i构造FIRST集的算法(2)若α=Xβ,X∈VN,且有产生式X→b…,则把b加入到FIRST(α)中;例:FIRST(FT')={(,i}??(3)若α=X1X2…Xn,其中Xi∈VN,
17、1≤i≤n;①将FIRST(X1)中的一切非ε的终结符加进FIRST(α);②若ε∈FIRST(X1),则将FIRST(X2)中的一切非ε的终结符加进FIRST(α);③若ε∈FIRST(X1)且ε∈FIRST(X2),则将FIRST(X3)中的一切非ε的终结符加进FIRST(α);④依此类推,若对于一切1≤i≤n,ε∈FIRST(Xi),则将ε加进FIRST(α)。E→TE'E'→+TE'
18、T→FT'T'→*FT'
19、F→(E)
20、i例:FIRST(FT')=注意:要顺序往下做,一旦不满足条件,过程就要中断进行FIRST(F)-{ε}={(,i}【例】G2[S]:S→Ap
21、B
22、qA→a
23、cAB→b
24、dB识别输入串w=ccap是否是G2[S]的句子试探推导过程:SApcApccApccap试探成功FIRST(Ap)={a,c}FIRST(Bq)={b,d}FIRST(F)={(,i}FIRST(T’)={*,ε}FIRST(T)=FIRST(F)-{ε}={(,i}FIRST(E’)={+,ε}FIRST(E)=FIRST(T)-{ε}={(,i}【例】G[E]E→TE'E'→+TE'
25、T→FT'T'→*FT'
26、F→(E)
27、i计算文法中非终结符的First集合【例】G3[S]:S→aA
28、dA→bAS
29、ε识别输入串w=abd是否是G3[S]的句子试探
30、推导过程:SaAabASabSabd试探成功这个文法的特点:1、含有空产生式2、非空产生式右部首符号集合两两不相交3、紧跟该非终结符右边可能出现的终结符集合也不相交2.FOLLOW集FOLLOW(A):是所有句型中紧接A之后的终结符号或#对于文法G的非终结符的后继符号集称为FOLLOW集,定义如下:…A,则规定#∈FOLLOW(A)若S…Aa…,a∈VT}FOLLOW(A)={a
31、SE→TE'E'→+TE'
32、T→FT'T'→*FT'
33、F→(E)
34、iT+TE',则+∈FOLLOW(T)E构