LR分析编译基本原理.ppt

LR(0)：局限性大，但其构造方法是其他构造方法的基础； SLR：虽然不是对所有文法都存在，但这种分析表较易实现又极有使用价值； LR：分析能力最强，能适用于一大类文法，但是，实现代价过高（表过大）； LALR：能力介于SLR和LR之间，实现效率较高，最适用。 LR(0)、SLR(1)、LR(1)、LALR(1)分析表比较 7.6　二义性文法在LR分析中的应用 LR文法是二义性的吗？ 为什么要介绍二义性文法的使用？ 因为对某些二义性文法只要加进足够的无二义性规则，它 　可以构造出比相应非二义性文法更优越的LR分析器 无二义性规则：为消除由于二义性引起冲突的规则 当“移进－归约”冲突，采用移进；当“归约－归约”冲突， 　优先使用列在前面的产生式进行归约 归定优先性和结合性 例如：考虑文法： 0　S`→S 1　S→iSeS 2　S→iS 3　S→a 这个文法是二义性文法吗？ 它像程序语言中什么语句？ 它是“if-then-else”或“if-then”语句的抽象 它的LR(0)项目集规范族如图所示： I0: S` ·S S ·iSeS S ·iS S ·a I1: S` S · I2: S i·SeS S i·S S ·iSeS S ·a I3: S a· I4: S iS·eS S iS· I5: S iSe·S S ·iSeS S ·iS S ·a I6: S iSeS· a S i S a i i e S a 可以看出，I4存在“移进－归约”冲突 利用前面的规则（让else与最近的then匹配），构造出LR分析表如下： 状态 ACTION GO i e a # S 0 1 2 3 4 5 6 s2 s3 1 acc s2 s3 4 r3 r3 s5 r2 s2 s3 6 r1 r1 利用这个分析器分析输入串iiaea的过程如下： 步骤 状态栈 符号栈 输入串 ACTION GO (1) (2) (3) (4) (5) (6) (7) (8) (9) (10) 0 # iiaea# s2 02 #i iaea# s2 022 #ii aea# s3 0223 #iia ea# 4 r3 0224 #iiS ea# s5 02245 #iiSe a# s3 022453 #iiSea # r3 6 022456 #iiSeS # r1 024 #iS # 4 r2 01 #S # acc 1 识别文法活前缀的DFA I0: S’-?S S- ?L=R S- ?R L- ?*R L- ?i R- ?L I5: L →i ? I2: S- L ? =R R- L ? I3: S- R ? I4: L →* ? R R → ? L L → ? *R L → ? i I1: S’-S ? I6: S →L= ? R R →L ? R → ? L L → ? i L → ? *R I7: L →*R ? I8: R →L ? I9: S →L= R ? S L R * i = R L * i R L i * I6:S →L= ? R R →L ? R → ? L L → ? i L → ? *R Follow(R)={#,=}与移进符号集{*,i}交集为空，可用SLR(1)方法解决冲突 I2:S- L ? =R R- L ? Follow(R)={#,=}与移进符号集{=}交集不为空，SLR(1)方法不能解决冲突，该文法不是SLR(1)文法。 S→S S →L=R|R L →*R|i R →L Follow S’ # S # L =，# R #，= ACTION GOTO = i * # S L R 0 S5 S4 1 2 3 1 acc 2 S6/ r6 r6 3 r3 4 S5 S4 8 7 5 r5 r5 6 S5 S4 8 9 7 r4 r4 8 r6 r6 9 r2 在构造SLR分析表的方法中，它只是孤立地考察：若项目集Ik中含有A?α?，那么在状态k时，只要面临输入符号a?Follow(A)，就确定采用A?α产生式进行归约。而没有考察符号串α所在规范句型的环境。