自下而上的LR分析.pptVIP

自下而上的LR分析 一、语法分析复习讨论 方法分析讨论 二、LR(0)分析 句柄活前缀的意义 LR(0)项目 * 语法分析的目的是建立到输入句子的推导，换言之就是建立由文法开始符号到输入句子的推导。 建立方式有两种：一是推导分析法，即由文法开始符号开始，根据将要输入的符号，寻找合适的候选式进行推导，最终推导出输入的句子（或称与输入符号串相匹配）；另一是归约分析法，即依次读入输入符号，待出现短语后将其归约成推导符号，最终归约到文法开始符号。 推导文法分为：递归下降分析、LL(K)分析方法。其核心如下：当欲由文法符号A开始推导时，根据当前匹配的输入符号a，确定关于A的候选式进行推导。 递归下降分析：对每一个文法符号对应一个（递归的）分析子程序，该子程序首先根据输入符号判断选择关于A的候选式，然后依次匹配候选式的每一个符号。 LL(1)分析：是递归下降分析的非递归算法，当由A进行推导时，根据输入符号a确定关于A的候选式，A出栈，然后将其反向入栈，进行匹配。 归约分析法：核心是寻找可归约的短语。一种方法是利用符号之间的“优先关系”确定可归约短语，另一种是分析文法特点，根据输入符号与已读入（称之为移进）符号之间的关系确定句柄，然后将可归约短语或句柄归约到相应的符号。 算符优先分析：首先根据算符的特点建立算符之间的优先关系矩阵，分析时由栈顶算符与输入算符比较优先关系，当输入符号算符之优先级低于栈顶算符优先级时,于栈顶寻找短语进行归约. 例:已知如下文法: S?A | B A?aAb | c B?aBb | d 讨论句子aaacbbb利用归约分析的过程. bb# aaA bb# aaaAb bbb# aaaA bbb# aaac aaacbbb# 待输入符号 栈中符号 该文法的所有可能 的句柄是: A、B、aAb、c及d、aBb 1、使用一个分析栈，用于存储已分析出句子的前缀； 2、分析时，首先判断栈处是否有句柄存在，如果有，则取句柄归约到相应的符号（称之为归约），否则读入下一个符号并进栈（称之为移进）。 问题：如何知道何时栈顶出现句柄？如何取句柄？如何知道是相对于哪个符号的句柄？ 例：利用移进—归约方法分析表达式。 文法：E?E+T | T T?T*F | F F?i | (E) 分析表达式i+i*(i+i). +i*(i+i)# F +i*(i+i) T +i*i*(i+i)# i i+i*(i+i)# 待输入符号 栈中符号 规范句型活前缀定义：设αβ是一个规范句型（最右推导句型），如果规范句型αβ之句柄是α的后缀或不是α的子串，则称α是一个规范句型 的活前缀。 注：称α是活前缀的意义是1）存在一个符号串β使得αβ是一个规范句柄；2）α中不含句柄或刚好含有句柄而其后无其他符号。 例： 例:已知如下文法: S?A | B A?aAb | c B?aBb | d 讨论句型aaacbbb、aaaAbbb、aAb之规范句柄的活前缀。 解：a、aa、aaa、aaac、aaaA、aA为规范句型的活前缀。 进行移进-归约分析时，移进栈中的是某规范句的活前缀，此时栈中或无句柄无法归约，或已有句柄于栈顶，可以进行归鸡操作。 完成态（或归约态）活前缀：如果α是一个规范句型的活前缀，且句柄为其后缀，则称该活前缀是完成态活前缀。 移进态活前缀：其他形式的活前缀称之为移进态活前缀。 *