【本章小结】 LR分析的特征是: ◇ 归约过程是规范的: ◇符号栈中的符号是规范句型的前缀,且不含句柄以后的任何符号(活前缀)。 ◇ 分析决策依据栈顶状态和现行输入符号是什么来决定的。 ◇为构造LR分析表,可先构造识别活前缀和句柄的DFA。 ◇ LR分析器的关键部分是分析表的构造, 对一个文法能判断是否是LR类文法,能构造相应的LR分析表,并能对给定的输入串进行分析以决定该输入串是否为所给文法的句子 ◇ 四种LR类型: LR(0) SLR(1) LALR(1) LR(1) 功能逐个增强 ◇ 四种LR类型的文法是真包含关系 ![]() ◇ 四种LR类分析器的作用 ![]() ◇ LR类型文法是无二义的 ◇ 某些二义性文法,人为地给出优先性和结合性的规定,可能构造出比相应非二义性文法更优越的LR分析器。 |