编译原理陈意云课后答案.pptx

会计学1编译原理陈意云课后答案 2023/1/2623.8(a)(a) 消除的左递归(b) 在（a）的基础上构造LL(1)分析表第1页/共24页 2023/1/2633.8(a) (续)S -> (L)|aL -> L,S|S只有直接左递归S -> (L)|aL -> SL’L’-> ,SL’|ε第2页/共24页 2023/1/2643.8(b) (续)S -> (L)|aL -> SL’L’-> ,SL’|ε FIRST(S) = {(, a}FIRST(L) = FIRST(S) = {(, a}FIRST(L’) = {,, ε}FOLLOW(S) = (FIRST(L’)-{ε}) + FOLLOW(L) + FOLLOW(L’) + {$} = {,, ), $}FOLLOW(L) = {)}FOLLOW(L’) = FOLLOW(L) = {),$}第3页/共24页 2023/1/2653.8(b) (续)(),a$SS -> (L)S -> aLL -> SL’L -> SL’L’L’ -> εL’-> ,SL’L’ -> ε第4页/共24页 2023/1/266给出接收文法 S -> ( L ) | a L -> L , S | S的LR(0)活前缀的DFA；并且在此基础上构造SLR(1)分析表.第5页/共24页 2023/1/2673.16 (续)拓展文法： (1) S‘ -> S (2) S -> ( L )  (3) S -> a (4) L -> L , S (5) L -> S初态：I0 = closure{S’ -> ?S} = I0S’ -> ?SS -> ?(L) S -> ?a第6页/共24页 2023/1/2683.16 (续)Goto(I0, S) = Goto(I0, () = Goto(I0, a) =I1S’ -> S ?I3S -> a?I2S -> (? L) L -> ? L , SL -> ? SS -> ?(L) S -> ?a第7页/共24页 2023/1/2693.16 (续)Goto(I2, L) = Goto(I2, S)=Goto(I2, ()=I2Goto(I2, a)=I3I4S -> (L ? ) L -> L ? , SI5L -> S ? 第8页/共24页 2023/1/26103.16 (续)Goto(I4, )) = Goto(I4, ,)=I7L -> L , ? SS -> ?(L) S -> ?aI6S -> (L ) ?第9页/共24页 2023/1/26113.16 (续)Goto(I6, S) =Goto(I6, () =I2Goto(I6, a) =I3I8L -> L , S ?第10页/共24页 2023/1/26123.16 (续)I8L -> L , S ?I0S’ -> ?SS -> ?(L) S -> ?aI1S’ -> S ?I2S -> (? L) L -> ? L , SL -> ? SS -> ?(L) S -> ?aI3S -> a?I4S -> (L ? ) L -> L ? , SI6S -> (L ) ?S(aLSa((,I7L -> L , ? SS -> ?(L) S -> ?aS(aI5L -> S ? 第11页/共24页 2023/1/26133.16 (续)SLR(1)分析表构造 1) 若A???a?∈I，且goto(I,a)=J，则action[I,a]=sJ 2)若A??? ∈ I，则action[I,b] = r A??,b∈Follow(A) 3)若S‘?S? ∈ I，则action[I,$] = acc 4)若goto(I,B)=K，则GOTO[I,B]=K 5)其它为空白/error第12页/共24页 2023/1/26143.16 (续)状态actiongoto()a,$SL0s2s311s2s3acc2143r3r3r34s5s65r5r56r2r2r27s2s378r4r4第13页/共24页 2023/1/26153.16 (续)S -> ( L ) | aL -> L , S | SFOLLOW(S) = {$} + FOLLOW(L) = {$, ), ,}FOLLOW(L) = {), ,}第14页/共24页 2023/1/2616证明下面文法不是SLR(1)文法 S -> X X -> Ma | bMc | dc | bda M -> d第15页/共24页 2023/1/26173.23 (续) S -> X X -> Ma | bMc | dc | bda M -> d存在移