第6章LR分析法.pptVIP

第六章 LR分析法 前言 LR分析与简单优先分析的异同点 相同点：均是移进－归约思想、规范归约 不同点：分析范围不同、寻找句柄方法不同、一旦句柄 形成LR分析器能立刻查出用哪条产生式归约 LR分析法的分类 四种LR分析法的异同 LR分析器工作过程示意图 LR分析概述： 一个LR分析器由以下三部分组成： LR分析程序 对于同类的LR分析器，分析程序是相同的。 分析表 是核心，分为动作表(ACTION)和状态转换表(GOTO)。 分析栈 使用两个栈：文法符号栈、状态栈 G[S]: S ? aABe A ? Abc | b B ? d 输入串 abbcde的最右推导如下: S ? aABe ? aAde ? aAbcde ? abbcde 下划线标识的是每一步的句柄（唯一）. 活前缀: ε, a, aA, aAB, aABe,aAd, aAb,aAbc, ab,… 非活前缀: aAde, Abc, aAA,… 移进/归约分析 移进/归约分析 LR(0)项目集规范族的构造： LR(0)项目 在文法G中每个产生式的右部适当位置添加一个圆点构 成项目。 例如：对A→XYZ对应项目 A ? ·XYZ A ? X·YZ A ? XY·Z A ? XYZ· 对于A ?? 只有项目 A ?· 项目分类 根据圆点所在的位置和圆点后是VT还是VN把项目分为以 下几种： 移进项目，形如A ? α·a β， 其中α，β ? V *, a?VT 待约项目，形如A ? α·B β， 其中α，β ? V *, B?VN 归约项目，形如A ? α· ，其中α ? V * 接受项目，形如S‘ ? S · ， S’ ? S 为拓广文法 LR(0)项目集规范族的构造 步骤如下： 变为拓广文法 构造识别可归前缀的有穷自动机 构造LR(0)分析表 利用分析表来分析句子 SLR(1)分析： 先看如下文法: S ? rD D ? D,i D ? i 它是LR(0)文法吗？如何解决冲突？ 冲突的例子 冲突的例子2 LR(1)分析： LR(1)项目集族的构造 S’ ? ·S ,＃属于初始项目集中, ＃为向前搜索符。 构造LR(1)项目集的闭包函数。 I的任何项目都属于CLOSURE(I)中。 若有项目A ? ?·B?,a属于CLOSURE(I)， B??是文法中的产生式， β ? V*, b ? FIRST(βa)。 则B?· ?,b也属于CLOSURE(I)中。 转换函数的构造 若 A ? ?·X?,a 属于 I 则A ? ?X·?,a 属于GOTO(I , X)。 若有 A ? ?.?,a1 ... A ? ?.?,an 可被写为 A ? ?.?,a1/a2/.../an LR(1)分析表的构造 LR(1)项目分为：心（ LR(0) 项目）、向前搜索符集合，故 LR(1)分析表的构造与LR(0)分析表的构造大部分相同,只是 对LR(1)，归约动作取决于该归约项目的向前搜索符集。 例1 例2 LR(1) 分析表 – (例2) LALR(1)分析： 问题的出现: LR(1)分析法适应的文法类广，但它可能引 起状态数目的剧烈增长，为克服这一缺点，下面介绍 LALR(1)分析。 看以下这个例子 LALR(1) 分析表 – (例2) 有关合并同心集的几个问题： 同心集是心相同的项目合并在一起，超前搜索符集合是他们的和集。 合并同心集后，转换函数自动合并。 若文法是LR(1)文法，合并同心集后若有冲突只可能是归约-归约冲突。 合并同心集后对某些错误发现的时间会产生推迟现象，但错误的出现位置仍是准确的。 作业(课本151页)： 1，2，3 S’ ? S S ? Aa S ? dAb S ? cb S ? BB A ? c B ? Bc B ? b 构造下列文法的LALR(1)分析表 S ? aAa | aBb | bAb | bBa A ? x B ? x 有人说，是LR(1)文法，但不是LALR(1)文法。你认为呢？为什么？ S ? bASB | bA A ? dSa | b B ? cAa | c 判别此文法是下列文法中的哪一种？并说明理由。 LR(0)、SLR(1)、LALR(1)、LR(1) * a + b # … sn s0 s1 Input LR 分析程序 Stack Output 分析表 action[.,.] goto[.,.] (输入串 + #) 当前分