编译原理LR分析法.pptVIP

构造LR(1)的项目集族 I0：S’→?S，# S→?L=R，# S→?R，# L→?*R，=/# L→?i，=/# R→?L，# I1：S’→S?，# I2：S→L?=R，# R→L?，# I3：S→R?，# I4：L→*?R，=/# L→?i，=/# R→?L，=/# L→?*R，=/# I5：L→i?，=/# I6：S→L=?R，# R→?L，# L→?*R，# L→?i，# I7：L→*R?，=/# I8：R→L?，=/# I9：S→L=R?，# I11：L→*?R，# R→?L，# L→?*R，# L→?i，# I12：L→i?，# I10：R→L?，# I13：L→*R?，# 合并同心集 对项目集分析发现：I4和I11、I5和I12、I7和I13、I8和I10为同心集。 合并同心集得： I4和I11={[L→*?R,=/#],[L→?i,=/#],[R→?L,=/#],[L→?*R,=/#]} I5和I12={[L→i?，=/#]} I7和I13={[L→*R?，=/#]} I8和I10={[R→L?，=/#]} 构造LALR(1)的转换函数 I0：S’→?S，# S→?L=R，# S→?R，# L→?*R，=/# L→?i，=/# R→?L，# I1：S’→S?，# I2：S→L?=R，# R→L?，# I3：S→R?，# I4：L→*?R，=/# L→?i，=/# R→?L，=/# L→?*R，=/# I5：L→i?，=/# I6：S→L=?R，# R→L?，# L→?*R，# L→?i，# I7：L→*R?，=/# I8：R→L?，=/# I9：S→L=R?，# S R L i * = R L * R L i * i 构造LALR(1)的分析表 状态 ACCTION GOTO = * i # S L R 0 ? S4 S5 ? 1 2 3 1 ? ? ? acc ? ? ? 2 S6 ? ? r5 ? ? ? 3 ? ? ? r2 ? ? ? 4 ? S4 S5 ? ? 8 7 5 r4 ? ? r4 ? ? ? 6 ? S4 S5 ? ? 8 9 7 r3 ? ? r3 ? ? ? 8 r5 ? ? r5 ? ? ? 9 ? ? ? r1 ? ? ? 二义性文法在LR分析中的应用 任何一个二义性文法绝不是LR类文法，也不是一个算符优先文法或LL(k)文法，任何一个二义性文法不存在与其相应的确定的语法分析器，但是对于某些二义文法，可以人为地给出优先性和结合性的规定，从而可以构造出比相应非二义性文法更优越的LR分析器。 示例 文法 LR(0)项目集 状态转换矩阵 增加的规定 增加新规定后的LR分析表 对输入串的i+i*i#分析过程 二义性文法 二义性文法 E→E+E|E*E|(E)|i 相应的非二义性文法 E→E+T|T T→T*F|F F→(E)|i LR(0)项目集 I0:E’→?E E→?E+E E→?E*E E→?(E) E→?i I1:E’→E? E→E?+E E→E?*E I2:E→(?E) E→?E+E E→?E*E E→?(E) E→?i I3:E→i? I4:E→E+?E E→?E+E E→?E*E E→?(E) E→?i I5:E→E*?E E→?E+E E→?E*E E→?(E) E→?i I6:E→(E?) E→E?+E E→E?*E I7:E→E+E? E→E?+E E→E?*E I8:E→E*E? E→E?+E E→E?*E I9:E→(E)? 状态转换矩阵 + * ( ) i # E I0 I2 I3 I1 I1 I4 I5 acc I2 I2 I3 I6 I3 I4 I2 I3 I7 I5 I2 I3 I8 I6 I4 I5 I9 I7 I4 I5 I8 I4 I5 I9 增加的规定 用优先关系和结合性可以解决I7、I8的冲突，规定： ‘*’号优先级高于‘+’号，且它们都服从左结合。 那么： 在I7中，由于‘*’? ‘+’所以遇‘*’移进，又因‘+’服从左结合，所以遇‘+’则用E→E+E归约。 在I8中， ‘*’ ?‘+’且‘*’服从左结合，因此不论遇到‘+’、‘*’或‘#’号都应归约。 增加新规定