编译原理总结7_语法4.pptVIP

* 什么是LR(k)分析: 　L：从左到右扫描 　R：最右推导的逆过程（最左归约） k：为作出分析决定而向前看的输入符号的个数 是一种规范归约过程 LR(k)分析技术Knuth于1965年首先提出 4.7 LR分析法 * 适用范围广，适用于多数无二义性2型文法 分析效率高，报错及时 可以自动生成 手工实现工作量大 LR分析法的优缺点 优点 缺点 4.7 LR分析法 * LR分析器的逻辑结构：分析栈、分析表、总控程序 LR分析器的逻辑结构和工作过程 栈 # S0 X1 S1 … … Xm S1 文法符号 状态 输入# 总控程序 ACTION GOTO LR分析表 产生式表 输出 4.7 LR分析法 * 分析表的种类：四类 SLR(1)分析表(简单LR分析表) LR(0)分析表 构造简单,最易实现,大多数上下文无关文法都可以 构造出SLR分析表，所以具有较高的实用价值。使 用SLR分析表进行语法分析的分析器叫SLR分析器。 对文法的限制较大，无实用价值， 是构造其它LR分析表的基础。 （重点掌握） 4.7 LR分析法 * LR(1)分析表(规范LR分析表) 适用文法类最大,几乎所有上下文无关文法 都能构造出LR(1)分析表，但其分析表体积 太大，实用价值不大。 LALR分析表(超前LR分析表) 这种表适用的文法类及其实现上难易在LR(1) 和SLR(1)两种之间，比较实用。使用LALR分 析表进行语法分析的分析器叫LALR分析器。 说明：四种分析表对应四类文法 4.7 LR分析法 * LR(0)分析法 LR(k)分析法通过活前缀来帮助确定句柄 活前缀：规范句型中不含句柄右边任何符号的前缀 规范句型：通过规范推导（规约）得到的句型 前缀：句型的任意首部 如 abc 的前缀有ε, a, b, ab, abc 4.7 LR分析法 * LR分析器的工作过程 逐步产生文法的规范句型活前缀的过程 当栈顶形成句柄时，立即进行归约 4.7 LR分析法 * 活前缀与句柄的关系 为刻划产生式右部符号已有多大一部分 被识别，用项目来指示位置 项目:产生式的右部添加一个圆点 ① 活前缀已含有句柄的全部符号 A→?的右部?已出现在栈顶，可以归约 ?A→?·?? ② 活前缀只含有句柄的部分符号 A→?1?2的右部子串?1已出现在栈顶，正期待 从剩余输入串中能看到由?2推出的符号串 ?A→?1·?2 ③ 活前缀不含有句柄的任何符号 期望从剩余输入串中能看到由某产生式 A→?的右部?所推出的符号串 ?A→·? 4.7 LR分析法 * 项目的直观意义:在分过程中的某一时刻已经规约的 部分和等待规约部分 【例】文法G[S]：S→aS|b 写出其所有的LR(0)项目。 S→·aS，S→a·S，S→aS·，S→·b，S→b· 一个产生式对应的项目个数是右部符号长度加1 产生式A→?的项目个数只有一个，即A→·? 4.7 LR分析法 * 项目分为四类 圆点后面是终结符，表示栈内是句柄的一部分， 期待从输入串中移进一个符号，以形成句柄。 ① 移进项目：A→α·aβ ② 待约项目：A→α·Bβ 圆点后面是非终结符的项目，表示栈内是句柄的一部分， 为了形成句柄，期待从剩余的输入串中进行归约而得到 Ｂ，然后才能继续分析A的右部。 4.7 LR分析法 * 项目分为四类 ③ 归约项目：A→α· 圆点在最后，表示栈顶的部分内容已构成所期望的句柄， 应使用产生式A→α进行归约。 ④ 接受项目：S′→α· 特殊的归约项目，使用产生式S′→α进行归约， 表示整个句子已经分析完毕，分析成功，也即输 入串为该文法的句子。 4.7 LR分析法 * 构造识别活前缀的DFA （1）求出文法的所有项目，按一定规则构造NFA， 再确定化为DFA （2）直接构造DFA（重点掌握） 有两种方法 4.7 LR分析法 * 构造活前缀的方法一：NFA?DFA （1）设所有LR(0)项目分别对应NFA的一个状态，其中含有文 法开始符号的产生式S‘→S的第一个项目（S’→·S）作为 NFA的唯一初态，归约项目对应为终态。 （2）若状态i和j中的LR(0)项目出自同一条产生式，只是圆 点的位置相差一个符号，即： i为：X→X1X2…Xi-1·Xi…Xn j为：X→X1X2…Xi-1Xi·Xi+1…Xn 则从状态i到状态j连一条标记为Xi的箭弧，说明在状态 i下，识别了符号Xi后，NFA从状态i转换为状态j。 4.7 LR分析法 * 构造活前缀的方法一：NFA?DFA 4.7 LR分析法 （3）若状态i