编译原理实验2..docxVIP

第二章 语法分析器构造 我 采用一种最 常用的 法分析器─ LR 分析器。 LR 分析器的构造主要是指上下文 无关文法的自下而上分析程序的自 构造。 从 践角度出 ， 我 采用手工方法来 LR 分析器。 LR 系指“自左向右 描和自下而上 行 ” 。大多数用上下文无关文法描述的 程序 言都可用 LR 分析器予以 。 LR 分析法在自左至右 描 入串 就能 其中的 任何 ，并能准确地指出出 地点。 一个 LR 分析器包括两部分，一个 控（ ）程序和一 分析表。注意，所有 LR 分 析器的 控程序都是一 的，只是分析表各有不同。因此， 生器的主要任 就是 生分析表。 2．1 LR 分析器基本知识 我 知道， 范 （最左 ，即最右推 的逆 程）的关 是 找句柄。 LR 方法的基本思想是：在 范 程中，一方面 住已移 和 出的整个符号串，即 住“ 史” ；另一方面根据所用的 生式推 未来的可能碰到的 入符号，即 未来 行 “展望”。当一串貌似句柄的符号串呈 于分析 的 端 ，我 希望能 根据所 的 “ 史”和“展望”以及“ ”的 入符号等三方面的材料，来确定 的符号是否构 成相 某一 生式的句柄。 一个 LR 分析器 上是一个 先 后出存 器（ ）的确定有限状 自 机。我 将把“ 史”和“展望”材料 合地抽象成某些“状 ” 。分析 （先 后出存 器）用 来存放状 。 里的每个状 概括了从分析开始直到某一 段的全部“ 史”和“展 望” 料。任何 候， 的状 都代表了整个的 史和已推 出的展望。 LR 分析器的每 一步工作都是由 状 和 行 入符号所唯一决定的。 了有助于明确 手 ，我 把已 出的文法符号串也同 放在 里。于是， 的 构可看成 2-1 所示的 构。 TOP sm Y sm-1 X . .?? ?? . s0 # 2-1 分析 示意 的每一 内容包括状 s 和文法符号 X 两部分。（ sO， #） 分析开始前 先放入 里的初始状 和句子括号。 状 sm，符号串 X1X2? Xm是至今已移 出的文法符号串。 4 LR分析器的核心部分是一 分析表。 分析表包括两部分： 一是 “ 作”（ ACTION） 表，另一是“状 ” （ GOTO）表。它 都是二 数 。 ACTION[s,a] 定了当状 s 面 入符号 a 采取什么 作。 GOTO[s，X] 定了状 s 面 文法符号 X（ 符或非 符） 下一状 是什么。 然， GOTO[s，X] 定 了一个以文法符号 字母表的 DFA（确 定有限自 机） 。 每一 ACTION[s， a] 所 定的 作不外是下述四种可能之一： 1）移 ：把（ s， a）的下一状 s′ =ACTION[s， a] 和 入符号 a 推 （ 符 a， GOTO[s， a] 的 已放入 ACTION[s， a] 中），下一 入符号 成 行 入符号。 2） ：指用某一 生式 A→β 行 。假若 β 的 度 γ， 的 作是去掉 的 γ 个 ，使状 sm-γ 成 状 ，然后把（ sm-γ ,A ）的下一状 s′ =GOTO[sm-γ,A] 和文法符号 A 推 。 作不改 行 入符号。 行 的 作意味着呈 于 的符号串 Xm-γ +1? Xm 是一个相 于 A 的句柄。 3）接受：宣布分析成功，停止分析器的工作。 4） ： 告 源程序含有 ， 用出 理程序。 LR分析器的 控程序本身的工作是非常 的， 它的任何一步只需按 状 s 和 行 入符号 a 行 ACTION[s,a] 所 定的 作。不管什么分析表， 控程序都是一 地工作。 我 主要关心的 是如何从文法构造 LR 分析表。 于一个文法，如果能 构造一 分析表，使得它的每个入口均是唯一确定的， 我 将把 个文法称 LR 文法。 于 一个 LR 文法，当分析器 入串 行自左至右 描 ，一旦句柄呈 于 ，就能及 它 行 。 一个 LR 分析器有 需要“展望”和 未来的 K 个 入符号才能决定 采取什 么 的“移 - ”决策。一般而言，一个文法如果能用一个每步 多向前 K 个 入符号的 LR 分析器 行分析， 个文法就称 LR（ k）文法。 于一个文法，如果它的任何“移 - ”分析器都存在如下的情形：尽管 的内 容和下一个 入符号都已了解，但无法确定是“移 ” 是“ ” ；或者，无法从几种 可能的 中确定其一； 那么 个文法就是非 LR（ 1）的。注意， LR 文法肯定是无二 的，一个二 文法决不会是 LR的。但是， LR 分析技 可修改 适用于分析一定的二