编译原理语法分析-自下而上分析

规范规约：

短语：令G是一个文法，S是文法的开始符号，假定是αβδ文法G的一个句型其中α,β,δ∈(VN∪VT)*，A∈VN ，如果有

S *=>αAδ且A +=>β   

则β称是句型αβδ相对于非终结符A的短语

直接短语：特别是，如果有A=>β,则称β是句型αβδ相对于规则A->β的直接短语

句柄：一个句型的最左直接短语称为该句型的句柄

规范归约是关于是一个最右推导的逆过程

语法树有如下结论

①每个句型都有一棵语法树与之对应

②每棵语法树的叶结点自左至右排列就组成一个句型

③每棵子树的叶结点自左至右排列就组成一个短语

④每棵简单子树的叶结点自左至右排列就组成一个直接短语

⑤每棵最左简单子树的叶结点自左至右排列就组成一个句柄

算符优先分析法：

算符优先文法：一个文法，如果它的任一产生式的右部都不含两个相继(并列)的非终结符，即不含如下形式的产生式右部：

…QR…

则我们称该文法为算符文法，也称OG文法 

终结符之间的优先关系：

假定G是一个不含ε产生式的算符文法。对于任何一对终结符a、b，我们说：

1. a =. b 当且仅当文法G中含有形如P→…ab…或P→…aQb…的产生式

2. a <. b 当且仅当G中含有形如P→…aR…的产生式， 而R+=>b…或R+=>Qb…

3. a>.b 当且仅当G中含有形如P→…Rb…的产生式，而 R+=>…a或R+=>…aQ

如果一个算符文法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)