第五章 语法分析——自下而上分析

知识总结与感受：

自下而上分析过程：边输入单词符号，边归约。核心问题：识别可归约串

规范归约的定义：假定a是文法G的一个句子，我们称序列an，an-1，，a0是a的一个规范归约，如果此序列满足：  (1)  aan= aa  (2)  aa0为文法的开始符号，即aa0=S  (3)  对任何i，0 < i <= n， aai-1是从aai经把句柄替换成为相应产生式左部符号而得到的。句柄:一个句型的最左直接短语称为该句型的句柄。

 

如果一个算符文法G中的任何终结符对(a，b)至多只满足下述三关系之一： a=.b

a>.b

a<.b

则称G是一个算符优先文法(OPG文法)。

构造算符优先关系表

(1)通过检查产生式的每一个候选式可以找出满足a=.b

  （即P→…ab…或P→…aQb…的产生式）

(2)为了满足<.和>.，需对G中每个非终结符P构造两个集合FIRSTVT(P)和LASTVT(P)：

(3)构造集合FIRSTVT(P)的算法

按其定义，可用下面两条规则来构造集合FIRSTVT(P)：

① 若有产生式P→a…或P→Qa…，

则aÎFIRSTVT(P)；