第4章语法分析和语法分析.pptVIP

东华大学计算机学院 LR(0)项目 活前缀： 包含全部句柄，则：进行归约: A??, 记为A???; 部分句柄，则：应移进(句柄的后半部分), A??1??2 不含句柄，则：期望移进一产生式的右部: A??? 我们把右部添加了一个“?”的产生式,称为LR(0)项目 LR(0)项目： 归约项目： A→?? 接受项目： S’→S? 移进项目： A???X?, ( X?VT, ?可以是空串) 待约项目： A???X?, ( X?VN, ?可以是空串) 东华大学计算机学院 识别所有规范句型全部活前缀的DFA 例：文法G[S]： S→A|B A→aAb|c, B→aBb|d LR(0)分析表的构造 DFA的状态由若干LR(0)项目组成的集合表示 构造整个项目集为求基本项目的闭包过程,即整个项目集称为基本项目集的闭包。 东华大学计算机学院 I0: S’→·S S→·A S→·B A→·aAb A→·c B→·aBb B→·d I1: S’→S· S I2: S→A· A I3: S→B· B I4: A→a·Ab A→·aAb A→·c B→a·Bb B→·aBb B→·d a I5: A→c· c c I6: B→d· d d a I7: A→aA·b I9: B→aB·b I8: A→aAb· I10: B→aBb· B A b b 识别G[S]全部活前缀的DFA S→A|B A→aAb|c, B→aBb|d 东华大学计算机学院 LR(0)分析表的构造 有了全部活前缀的DFA，就可构造相应的LR(0)分析表. 项目集代表了分析过程中各状态，且分析动作相关。因此要求每个项目集的各项目相容，即在同一项目集中不出现: 移进项目与归约项目并存; 多个归约项目并存. 若文法G满足上述条件,即不含上述冲突项目,则称G为LR(0)文法. 显然,只有当一文法是LR(0)文法时,才能构造出无冲突动作的分析表来. 东华大学计算机学院 G[S]的LR(0)分析表 ? ACTION GOTO a b c d # S A B 0 s4 ? s5 s6 ? 1 2 3 1 ? ? ? ? acc ? ? ? 2 r1 r1 r1 r1 r1 ? ? ? 3 r2 r2 r2 r2 r2 ? ? ? 4 s4 ? s5 s6 ? ? 7 9 5 r4 r4 r4 r4 r4 ? ? ? 6 r6 r6 r6 r6 r6 ? ? ? 7 ? s8 ? ? ? ? ? ? 8 r3 r3 r3 r3 r3 ? ? ? 9 ? s10 ? ? ? ? ? ? 10 r5 r5 r5 r5 r5 ? ? ? 东华大学计算机学院 习题 文法G[B]是否是LR(0)文法？如果是，请画出LR(0)分析表；如果不是，请说明原理： B→bD;Se D→D;d|d S→s;S|s SLR(1)分析表的构造 东华大学计算机学院 习题 文法G[S]是否是SLR(1)文法？如果是，请画出SLR(1)分析表；如果不是，请说明原理： S→CbBA A→Aab|ab B→C|Db C→a LR(1)分析表的构造 东华大学计算机学院 I0: S’ → ·S, # S→·CbBA, # C → ·a, b I1: S’ →S ·, # S I3: C→a ·, # a I2: S →C·bBA, # C I4:S→Cb·BA, # B→·C, a B →·Db, a C → ·a, a D →·a, b b I5:S→CbB·A, # A→·Aab, #/a A →·ab, #/a I6: B→C ·, # B C I8: C→a ·, a D →a ·, b a I7: B→D ·b, a I9: B→Db ·, a D b I11: A→a·b, #/a I12: A→ab·, #/a a b I10: S→CbBA·, # A →A·ab #/a A I13: A→Aa·b, #/a I14: A→Aab·, #/a a b 文法G[S]的LR(1)项目集及DFA 东华大学计算机学院 分析表实例 状态 ACTION GOTO a b c S A B C D 0 s3 ? ? 1 ? ? 2 ? 1 ? ? acc ? ? ? ? ? 2 ? s4 ? ? ? ? ? ? 3 ? r6