编译原理课件语法分析总结.pptVIP

本章小结 本章小结 本章小结 本章小结 本章小结 本章小结 本章小结 本章小结 本章小结 本章小结 本章小结 本章小结 本章小结 本章小结 本章小结 本章小结 本章小结 本章小结 本章小结 本章小结 本章小结 本章小结 本章小结 本章小结 本章小结 本章小结 I0: S →·S S →·aSb S →·aSd S →· I1: S′→S· I2: S →a·Sb S →a·Sd S →·aSb S →·aSd S →· I3: S →aS·b S →aS·d I4: S →aSb· I5: S →aSd· 0. S →S 2. S →aSb 1. S →aSd 3. S →ε 检查每个项目集可知，项目集I0和I2中有移进一归约冲突，因此该文法不是LR(0)文法。 又因为 所以项目集I0和I2中移进一归约冲突可以用SLR(1)方法解决。因此该文法是SLR(1)文法，但不是LR(0)文法。 FOLLOW(S)={b,d,$}∩{a}= Φ 例4 设有文法G[S]: 2.试判断该文法是否SLR(1)文法, 若不是, 请说明理由；若是，请构造出SLR(1)分析表, 并给出符号串(( ))$的分析过程。 1.构造识别文法规范句型活前缀的DFA( LR(0)项目集族和GO函数 )。 S →S(S) |ε 3. 试判断该文法是否LR(1)文法，若不是，请说明理由；若是，请构造LR(1)分析表。 4. 试判断该文法是否LALR(1)文法，请说明理由。 分析 首先将文法拓广，并对规则编号: 0. S→S S →S(S) S → ε 构造LR(0)项目集规范族和转换函数如下图所示: S →S(S.) S →S.(S) I0: S→·S S →·S(S) S →· I1: S→S. I2: I4: S →S(S)· S ( S ( ) 0. S→S S →S(S) S → ε S →S.(S) S →·S(S) S →· S →S(.S) I3: S →S(S·) S →S·(S) I0: S→·S S →·S(S) S →· I1: S→S· I2: I4: S →S(S)· S ( S ( ) 0. S→S S →S(S) S → ε S →S·(S) S →·S(S) S →· S →S(·S) I3: I1中的移进—归约的冲突可以用SLR(1)方法解决： FOLLOW(S)={$}∩{(}=Φ 所以该文法是SLR(1)文法。 其SLR(1)分析表如下表： ACTION GOTO ( ) $ S O 1 2 3 4 r2 r2 r2 acc 1 r2 r2 r2 3 S4 r1 r1 r1 S2 S2 FOLLOW(S) ={ $, (, ) } 符号串(( ))$的分析过程如下： 用第2条规则S→ε 归约 ))$ $S(S( 01232 5 S2 ( ))$ $S(S 0123 4 用第2条规则S→ε 归约 ( ))$ $S( 012 3 S2 (( ))$ $S 01 2 分析动作 输入串 栈中符号 栈中状态 步骤 用第2条规则S→ε 归约 (( ))$ $ 0 1 acc $ $S 01 10 用第1条规则S→S(S)归约 $ $S(S) 01234 9 S4 )$ $S(S 0123 8 用第1条规则S→S(S)归约 )$ $S(S(S) 0123234 7 S4 ))$ $S(S(S 012323 6 * 确定的自上而下分析法 自下而上分析法 递归下降分析法 预测分析法 本章小结 本章介绍了四种典型的语法分析方法 算符优先分析法 LR分析法 LR(0)分析法 SLR(1)分析法 LR(1)分析法 LALR(1)分析法 确定的自上而下分析法要求描述 语言的文法是 LL(1)文法。 1. LL(1)文法的判别方法。 (1) 求文法每个产生式右部符号串的 FIRST集。 (2)?求文法各个非终结符的FOLLOW集。 本章小结 一.确定的自上而下分析法 (3)?求文法每个产生式的SELECT集。 (4)?求相同左部产生式的SELECT交集。 对文法G的每一个非终结符A的产生式 SELECT(A→ αi)∩SELECT(A→ αj)=Φ (i≠j) 则文法G是一个LL(1)文法 本章小结 A → α1 | α2 |…| αn 下面条件成立: 2. LL(1)文法是无左递归、无二义性文 法。 3. 将非LL(1)文法改写为LL(1)文法的方 法。 (1) 消除文法直接左递归 P→Pα | β??