规范规约:
短语:令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构造两个集合FI