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

一：知识点总结

自下而上分析法是从输入串开始，逐步进行”规约“，直至规约到文法的开始符号；或者说，从语法树的末端开始，步步向上”规约“，直至根结。

Ⅰ、归约

1、短语：令G是一个文法，S是文法的开始符号，假定αβδ是文法G的一个句型，如果有S=*>αAδ，且S=+>β，则称β是句型αβδ相对于非终结符的短语。

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

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

4、规范归约：假定α是文法G的一个句子，我们称序列αn，αn-1，......，α0是α的一个规范归约，如果此序列满足（1）α0=α；（2）α0为文法的开始符，即α0=S；（3）对任何i，0<i<=n，αi-1是从αi经把句柄替换为相应产生式的左部符号而得到的。从而可以得到，规范归约是关于α的一个最右推导的逆过程，因此，规范归约也成为最左归约。形式语言中。最右推导常被称为规范推导。

Ⅱ、算符优先分析

1、优先级关系：两个相继出现的终结符a和b（他们之间可能插有一个非终结符）的优先关系可能有三种：

①、a<•b（a的优先级低于b）②、a=•b（a的优先级等于b）③、a•>b（a的优先级高于b）【谁在前优先级低】

注意：a<•b并不意味着b•>a，a=•b也不一定意味着b=•a。

2、算符文法：一个文法，如果它的任一产生式的右部都不含有两个相继（并列）的非终结符，即不含如下形式的产生式右部：...QR...,则我们称该文法为算符文法。

3、算符优先文法：如果一个算符文法G中的任何终结符对（a，b）至多只满足三种优先级关系之一，则称G为算符优先文法。

4、最左素短语：素短语是至少包含一个终结符，并且，除它自身之外不再含任何更小的素短语。那么最左素短语是指处于句型最左边的那个素短语。

Ⅲ、LR分析法

1、LR分析器

（1）、规范规约（最左规约-最右推导的逆过程）的关键问题是寻找