LR(k)分析方法.ppt

第8章 LR(k)分析方法 8.1 分析方法的逻辑结构及分析过程 8.2 LR(0)分析表的构造 8.3 SLR(1)分析表的构造 8.4 LR(1)分析表的构造 8.5 LALR(1)分析表的构造 8.3 SLR(1)分析表的构造： 问题的提出： 只有当文法G的每一个状态项目集相容是才为LR(0)文法。 当文法的状态项目集不相容时, 就会出现不确定的动作，此时LR(0)分析方法就已经无法解决了。 SLR(1)方法是一种简单的LR(1)方法，它用从左到右向前看一个符号来解决冲突动作。 SLR(1)与LR(1)方法的区别：SLR(1)的向前看的符号是在出现冲突时才确定向前看的符号。 而LR(1)方法则是在一开始就确定向前看的符号。 SLR(1)分析表的构造方法思想： SLR(1)分析表的构造思想：　在构造SLR(1)分析表时，根据不同的向前看符号，将Si中的各项目所对应的动作加以区分，从而即可使冲突动作得到解决。 例如，对于状态Si，假设其项目集为　 Si={B→α△β, A→α△, C→α△}其中β是首符号为终结符的符号串。 　对于归约项目：　 　　　　A→α△　　　　　 C→α△ 分别求其Follow(A)和Follow(C)。 对于移进项目：　　 　　B→α△β  求其First(β)。 若集合Follow(A、Follow(C)、First(β)不相交，则对于任何a(a∈Vt∪{#} )可按如下方法构造分析表就能解决冲突： 对于B→α△β∈Si, a∈First(β), 且GO(Si, a)=Sj 则置：  action[Si, a]=Sj  对于A→α△∈Si, a∈Follow(A), 且A→α为文法的第j个产生式，则置：  action[Si, a]=rj  对于C→α△∈Si, a∈Follow(C), 且C→α为文法的第k个产生式，则置：  action[Si, a]=rk  凡不能按上述方法填入的项均置出错。 SLR(1)分析表的构造规则： 设有文法G[S], 则SLR(1)分析表的构造规则为： ①对于A→α△Xβ∈Si , GO(Si, X)=Sj , 若X∈Vt , 则置 action[Si, X]=Sj 若X∈Vn , 则置  goto[Si, X]=j ②对于归约项目A→α△∈Si, 若A→α为文法的第j个产生式则对于任何输入符号a, 若a∈Follow(A), 则置：  action[Si, a]=rj  ③对于S→α△∈Si , 则置  action[Si, #]=acc ④其它情况均置出错。 对于给定的文法G，若按上述规则所构造的 分析表不含多重定义的元素,则称文法G为SLR(1)文法。 SLR(1)分析表：例如，文法G[S]为算术表达式的文法： (0) S→E (1) E→E+T (2) E→T (3) T→T*F (4) T→F (5) F→(E) (6) F→i 我们可以构造(见书P201图8-8)状态描述序列。其中，S2和S9两个项目集不相容。于是， 对于S2 有 S2 ={E→T△, T→T△*F } 下面求 Follow(E)={#, +, )}，于是Follow(E)与{*}不相交。 r3 r3 r3 r3 S10 r5 r5 r5 r5 S11 r1 r1 S7 r1 S9 S11 S6 S8 10 S4 S5 S7 3 9 S4 S5 S6 r6 r6 r6 r6 S5 3 2 8 S4 S5 S4 r4 r4 r4 r4 S3 r2 r2 S7 r2 S2 acc S6 S1 3 2 1 S4 S5 S0 F T E # ) ( * + i GOTO ACTION 状态 《编译原理》 安徽理工大学 * LR(k)分析方法是指从左向右扫描和自底向上的语法分析。每次根据当前符号或最多向前看k个符号唯一地确定是归约还是继续读 。 一般来说，凡是上下文无关文法描述的程序设计语言都可以用LR方法进行有效的分析，而且还能在分析过程中及时准确地发现输入符号串的语法错误。 通常的程序设计语言一般均能由LR(1)文法产生,而且能由LR(k)产生的语言也可以由LR(1)文法来产生。因此，我们通常只考虑LR(0)和LR(1)两种情况。 在本章中我们先后介