第四章 语法分析和语法分析程序-2.pdf

第四章语法分析和语法分析程序 • 对象：单词流形式的源程序 • 任务：根据语法规则，分析源程序的语法结构， 同时进行语法检查 • 输出：语法树 • 假定：先不考虑语义问题 • 常见分析方法：自顶向下(↓)和自底向上(↑) • ↓ :递归下降法,预测分析法(即：LL分析法) • ↑ :算符优先分析法,LR分析法 4.1 自顶向下的语法分析 自顶向下：对已给的输入串w，试图自上而下地建立一棵语法树；或者说, 从S出发，为w构造一个最左推导。若成功,则w ∈L(G) ，否则拒绝。 一般说来，在为w寻求最左推导的每一步，都涉及使用何产生式进 行替换的问题。最简单的方法是，逐一试探。 遗憾的是，逐一试探也不能完全解决问题。例如，在含有左递归的 文法中，就会出现不能终止的替换现象。 例: E-T E- EAT T-F T- TMF F- (E) F- i A-+|- M-* | / 设w=i+i*i,每个产生式从左至右试验.从E 出发: E=T = F =(E) = i(失败) = TMF = FMF =(E)MF = iMF = i*F （失败） = i/F = TMFMF = … = TMFMFMF... 自顶向下分析方法的特点 1.若G有左递归，则分析不能正常进行。因此， ↓分析必须先消除文法 的左递归； 2.分析过程是反复进行试探的过程，因此，难免会出现大量的回溯。特 别是当w ∈L(G) 时，只有在穷举完所有的试探后才能拒绝w 。 由于回溯，就需将从出错点到迄今为止已做过的大量工作废弃，显 然会大大降低分析的效率。特别是在语法分析阶段还往往要进行同 步的语义分析和处理，这些工作也就白做了。因此，消除回溯是↓分 析的另一目标。 3.当拒绝w时，只能知道w不是句子，不知出何错及出在何处。 4.1.1 消除文法的左递归 + 设文法是已简化的。若文法含直接左递归式: A-Aα (α ∈V ) ，第一种改写 方法为：对A-Aα|β，改写为A-β{α} 。例如 （4.1 ）产生式1和2，可改 写为：E-T{AT} T-F{MF} 4.1.1 消除文法的左递归 消除文法左递归的矩阵方法 11 12 1n (X , X , , X ) (X , X , , X ) 21 22 2n ( , , , ) 1 2 n 1 2 n 1 2 n n 1 n 2 nn 或: X=XA+B 该方程有解: X=BA* 为得到A*, 由 A* I A A2 A3 I AA * Z Z 11 1n 其中,I ,令A* Z Z n 1 nn 则有: X=BZ Z=I+A