第5章语法分析—自下而上分析重点.ppt

LALR(1)分析 文法G‘：(0) S’ ? S(1) B ? aB (2) S ? BB(3) B ? b 文法G‘：(0) S’ ? S(1) B ? aB (2) S ? BB(3) B ? b I0: S’ ? ? S, # S ? ? BB, # B ? ? aB, a/b B ? ? b, a/b I1: S’ ? S ?, # I2: S ? B ? B, # B ? ? a B, # B ? ? b, # I5: S ? B B ?, # I6: S ? a ? B, # B ? ? aB, # B ? ? b, # I9: B ? a B ?, # I4: B ? b ?, a/b I3: B ? a ? B, a/b B ? ? aB, a/b B ? ? b, a/b I8: B ? a B ?, a/b I7: B ? b ?, # S B b b B b b a a a a B B LR(1)项目集和转换函数 分析可发现I3和I6 ， I4和I7 ， I8和I9分别为同心集 I3: B ? a ? B, a/b B ? ? aB, a/b B ? ? b, a/b I6: S ? a ? B, # B ? ? aB, # B ? ? b, # I4: B ? b ?, a/b I7: B ? b ?, # I8: B ? a B ?, a/b I9: B ? a B ?, # I3,6: S ? a ? B, a/b/# B ? ? aB, a/b/# B ? ? b, a/b/# I4,7: B ? b ?, a/b/# I8,9: B ? a B ?, a/b/# 合并为 合并为 合并为 如果两个LR(1)项目集去掉搜索符之后是相同的，则称这两个项目集具有相同的心。 例：G’[S’]: (0) S’?S (1) S ? L=R (2) S ? R (3) L ? *R (4) L ? i (5) R ? L 判断该文法是否是LR(0)、SLR(1)、LR(1)、LALR(1)文法。 构造LR（0）项目集规范族 If 所有的项目集都是相容的，则为LR（0）文法； Else if 冲突项目可以通过考察非终结符的后跟符号集来解决，则为SLR（1）文法； Else 构造LR（1）项目集规范族 If 任何项目集中都不存在动作冲突，则为LR（1）文法； 对LR（1）项目集规范族进行同心集的合并，如合并之后仍不存在冲突，则为LALR（1）文法。 几种文法的比较 LR(0) SLR(1): 生成的LR(0)项目集如有冲突，则根据非终结符的FOLLOW集决定 LR(1)、LR(k): 项由 核心与向前搜索符组成，搜索符长度为1或k LALR(1): 对LR(1)项目集规范族合并同心集 由弱到强：LR（0）、SLR（1）、LALR（1）、LR（1） LR（1）中的向前搜索符号集合是与该项目相关的非终结符号的Follow集的子集； LALR项目的搜索符一般是与该项目相关的非终结符号的Follow集的子集，这正是LALR分析法比SLR分析法强的原因。 5.8 二义文法的应用 任何二义文法决不是LR(k)的，但是二义文法却很有用。能否让二义文法也使用LR分析法？ 方法是：当发生冲突时，规定其解决冲突的方法，也即规定算符之间的优先级。 例：文法 二义化处理后得到如下文法： (1) (2) (3) (4) 其LR分析表如下 构造DAG图如下： 例2．文法 LR分析表如下： 2、SLR(1)分析表的构造方法思想 在构造SLR(1)分析表时，根据不同的向前看符号，将Si中的各项目所对应的动作加以区分，从而即可使冲突动作得到解决。 假定一个LR(0)规范族中含有如下的项目集（状态）Si? Si={ X→? · bβ, A → ? · , B→δ· } 也就是在该项目集中含有移进-归约冲突和归约-归约冲突。其中?,β, ? ,δ为文法符号串，b为终结符。方法如下： 对于归约项目A? ? · ，B ? δ · 分别求Follow(A)和Follow(B )， Follow(A)是所有句型中出现在紧接A之后的终结符或“#”。 如果满足如下条件： FOLLOW(A)∩FOLLOW(B)＝φ FOLLOW(A)∩{b}＝φ FOLLOW(B)∩{b}＝φ 那么，当在状态Si时面临某输入符号为a时，则构造分析表时用以下方法即