[工学]编译原理第4章8.pptVIP

本章小结 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) ={ $, (, ) } 符号串(( ))$的分析过程如下： 5 01232 $S(S( ))$ 用第2条规则S→ε 归约 4 0123 $S(S ( ))$ S2 3 012 $S( ( ))$ 用第2条规则S→ε 归约 2 01 $S (( ))$ S2 步骤 栈中状态 栈中符号 输入串 分析动作 1 0 $ (( ))$ 用第2条规则S→ε 归约 10 01 $S $ acc 用第1条规则S→S(S)归约 $ $S(S) 01234 9 8 0123 $S(S )$ S4 用第1条规则S→S(S)归约 )$ $S(S(S) 0123234 7 6 012323 $S(S(S ))$ S4 本章小结 0. S→S S →S(S) S → ε 构造LR(1)项目集规范族和转换函数如下图所示: 本章小结 I0: S→·S, $ S→·S(S), $/( S→· , $/( I1: S→S· , $ I2: 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), )/( I5: S→·S(S), )/( S →· , )/( S→S(·S), )/( I6: S→S(S·), )/( S →S·(S), )/( S I7:S→S(S)·, )/( ) I4:S→S(S)·,$/( 本章小结 所有的LR(1)项目集中没有移进—归约的冲突, 所以该文法为LR(1)文法 或该文法为SLR(1)文法, 任何SLR(1)文法都是LR(1)或LALR(1)文法 其LR(1)分析表如下表： ACTION GOTO ( ) $ S r2 r2 acc 1 r2 r2 3 S4 r1 r1 S2 S5 3 6 O 1 2 4 5 7 r2 r2 6 S7 r1 r1 S5 本节完 S A A i B B + C C C ( 短语: C+C i ( C+C C ( 句柄: C 素短语: C+C ( 本章小结 例2 设有文法G[E]: E →ET+ | T T →TF* | F F →F↑ | a 给出句型FF↑↑*的所有短语、句柄和素 短语。 本章小结 分析 首先画出句型的语法树 本章小结 E T T F * F ↑ F F ↑ 根据语法树求短语 FF↑↑* F↑↑ F↑ F 素短语 F↑ 句柄 F 例3 设有表格结构文G[S]： S → a | ∧| (T) T → T, S | S (1)计算文法G[S]的FIRSTVT集和 LASTVT集。 (2) 构造G[S]的优先关系表，并判断G[S] 是否算符优先文法。 本章小结 计算文法G[S]的FIRSVT集和LASTVT集如下: FIRSTVT(A)={b | A b…或A Bb…, b∈VT , B∈VN } ? + ? + LASTVT(A)={a | A …a 或A …aB, a∈VT, B∈VN } ? + ? + 本章小结 FIRSTVT LASTVT S T S → a | ∧| (T) T → T, S | S { a, ∧, (