【正文】 (6) E→s end (7) E→s。E C→begin E(0)A’ →A (1) A→B (2)A→C (3)B→D。b ,a/b. . . .. . 學(xué)習(xí)好幫手解：設(shè)Program=A Block=B Compound Statement=C Block head=D Compound Tail =EA→B A→C B→D；E D→begin d D→D。a ,a/bS →A ,a/b/A →b ,a/bI7：(I 2S)S →ASa ,a/bS →A ,a/bA →SA ,a/bA →AS ,a/bS → ,a/bS →A ,a/b/I4：A →aSA ,a/bA →AS ,a/b/S →a ,a/bI2：S →Ab ,a/b/A →S ，S →AS ,a/bS →SA ,a/bA → , A →S Compound Tail Compound Statement→begin Compound Tail 試構(gòu)造其 LR（0）分析表。 Compound Tail Block head→begin dBlock head→Block head。（4）做 LR（1）項(xiàng)目集規(guī)范族 由上可知該文法不是 LR（1）文法，也不是 LALR（1）文法。a 移進(jìn)項(xiàng) Follow(S) ∩ {a}≠∮. . . .. . 學(xué)習(xí)好幫手S →a 移進(jìn)項(xiàng) Follow(A) ∩ {a}≠∮在 I5中含項(xiàng)目：S →AS 歸約項(xiàng) Follow(A)={a,b}S →a 移進(jìn)項(xiàng) Follow(S’)∩{a}=∮S →AASA ASASA SSbabbbbaaaaab由上可知：I 1 I3 I5 中存在著移進(jìn)和歸約沖突在 I1中含項(xiàng)目：S’→ SbI6：S →baS →AA →SAA →ASS →bI2：S →AaS →AA →aI5：S →ASbA →SS →bS I3：A →SAaS →AA →aI1：S’→ SbA →SS → A→SAS A→SAS A→ A→aa S’→ SS S→(3) 這個(gè)文法是 SLR的嗎？若是，構(gòu)造出它的 SLR分析表。dbI1：A’ →AbA I4： A →aAda I3： A →aAaAdA →AdA →aaAbA →A A →解：(0) A’→ A(1) A → aAd(2) A → aAb(3) A → ξ構(gòu)造該文法的活前綴 DFA：由上圖可知該文法是 SLR（1）文法。(a＋＋a）））＃＃a＋a）＃＋a）＃a）＃ a）＃）＃＃＃＃移進(jìn)移進(jìn)規(guī)約移進(jìn)移進(jìn)規(guī)約規(guī)約移進(jìn)規(guī)約接受. . . .. . 學(xué)習(xí)好幫手（4）不能用最右推導(dǎo)推導(dǎo)出上面的兩個(gè)句子。a；；（a＋＋a）））＃＃＃；（a＋a）＃（a＋a）＃（a＋a）＃a＋a）＃＋a）＃a）＃a）＃）＃＃＃＃移進(jìn)規(guī)約移進(jìn)移進(jìn)移進(jìn)規(guī)約移進(jìn)移進(jìn)規(guī)約規(guī)約移進(jìn)規(guī)約規(guī)約接受分析 a；（a＋a）棧 優(yōu)先關(guān)系 當(dāng)前符號 剩余輸入串 移進(jìn)或規(guī)約＃＃（＃（a＃（T＃（T＋＃（T＋a＃（T＋T＃（T＃（T）＃T＝H a(T+S) a T+S (S) H 直接短語有: a T+S H (S)句柄： a素短語：a T+S (S) 最左素短語：a(3)分析 a；（a＋a） 棧 優(yōu)先關(guān)系 當(dāng)前符號 剩余輸入串 移進(jìn)或規(guī)約＃＃a＃T＃T；＃T；（＃T；（a＃T；（T＃T；（T＋＃T；（T＋a＃T；（T＋T＃T；（T＃T；（T）＃T；T＃TH。H。 ＝ + ) , a , ) }構(gòu)造算符優(yōu)先關(guān)系表。} ∪LASTVT(G) = { 。 , a , ( }FIRSTVT(G)={ ( }∪FIRSTVT(H) = {a , ( }FIRSTCT(H)={a , ( }FIRSTVT(T) = {+} ∪FIRSTVT(S) = {+ , 。G S?G G?G(T) G?H H?a H?(S)T?T+S T?S（1）FIRSTVT(S)={。 ＃ 規(guī)約＃T = ) 規(guī)約＃(T = a ) 移進(jìn)＃(T,a , a) 規(guī)約＃(T ( a,a) 移進(jìn)＃( = , ( B A’B D CC aD E D’D’ else B D’ξ ξE FC F if b then6. 1.(1) S A | B(2) A aA|a(3)B bB |b提取 （2） ， （3）左公因子(1) S A | B(2) A aA’(3) A’ A|ξ(4) B bB’(5) B’ B |ξ2.(1) SAB(2) ABa|ξ(3) BDb|D(4) D d|ξ提?。?）左公因子(1) SAB(2) ABa|ξ(3) BDB’(4) B’b|ξ(5) D d|ξ3.(1) SaAaB | bAbB(2) A S| db(3) BbB|a4(1) Si|(E)(2) EE+S|ES|S提?。?）左公因子(1) Si|(E)(2) ESE’(3) E’+SE’|SE’ |ξ5(1) SSaA | bB. . . .. . 學(xué)習(xí)好幫手(2) AaB|c(3) BBb|d消除（1）(3)直接左遞歸(1) SbBS’(2) S’aAS’|ξ(3) AaB | c(4) B dB’(5) B’bB’|ξ6.(1) MMaH | H(2) Hb(M) | (M) |b消除（1）直接左遞歸，提?。?）左公因子(1) M HM’(2) M’ aHM’ |ξ(3) HbH’ | ( M )(4) H’(M) |ξ7. (1) 1) AbaB 2) Aξ3) BAbb4) Ba將 1） 、2)式代入 3）式1) AbaB2) Aξ3) BbaBbb4) Bbb5) Ba提取 3） 、4）式左公因子1) AbaB2) Aξ3) BbB’4) B’aBbb | b5) Ba(3)1) SAa2) Sb3) ASB4) Bab將 3）式代入 1）式1) SSBa2) Sb3) ASB4) Bab. . . .. . 學(xué)習(xí)好幫手消除 1）式直接左遞歸1) SbS’2) S’BaS’ |ξ3) Sb4) ASB5) Bab刪除多余產(chǎn)生式 4）1) SbS’2) S’BaS’ |ξ3) Sb4) Bab（5）1) SAb2) SBa3) AaA4) Aa5) Ba提取 3） 4）左公因子1) SAb2) SBa3) AaA’4) A’ A |ξ5) Ba將 3）代入 1） 5）代入 21) SaA’b2) Saa3) AaA’4) A’ A |ξ5) Ba提取 1） 2） 左公因子1) S aS’2) S’A’b | a3) AaA’4) A’ A |ξ5) Ba刪除多余產(chǎn)生式 5）1) S aS’2) S’A’b | a3) AaA’4) A’ A |ξA A’ S’ S將 3）代入 4）1) S aS’2) S’A’b | a3) AaA ’. . . .. . 學(xué)習(xí)好幫手4) A’ aA’ |ξ將 4）代入 2）1) S aS’2) S’aA’b 3) S’a 4) S’b5) AaA ’6) A’ aA’ |ξ對 2）3)提取左公因子1) SaS’2) S’aS’’3) S’’A’b|ξ4) S’b5) AaA ’6) A’ aA’ |ξ刪除多余產(chǎn)生式 5）1) SaS’2) S’aS’’3) S’’A’b|ξ4) S’b5) A’ aA’ |ξ第六章1S ? a | ∧ | ( T )T ? T , S | S解：(1) 增加輔助產(chǎn)生式 S’?＃S＃求 FIRSTVT 集FIRSTVT（S’ ）＝ {}FIRSTVT（S）＝ {a ∧ ( }＝ { a ∧ ( }FIRSTVT (T) ＝ {,} ∪ FIRSTVT( S ) = { , a ∧ ( }求 LASTVT 集LASTVT（S’ ）＝ { }LASTVT（S）＝ { a ∧ )}LASTVT (T) ＝ { , a ∧ )}(2)算符優(yōu)先關(guān)系表a ∧ ( ) , a if then else begin end a b 。 , end }FOLLOW(E) = { else , 。 , end , else }FOLLOW(D) = {。 , ξ}FIRST(B) = FIRST(C) ∪ FIRST(D) ={ a , if }FIRST(C) = {a}FIRST(D) = FIRST（E）= { if }FIRSR(D’) = {else , ξ}FIRST(E) = FIRST(F) = { if }FIRST(F) = { if }FOLLOW(S) = { }FOLLOW(A) = {end}FOLLOW(A’) = { end }FOLLOW(B) = {。 , end } E FC E FC { if } F if b then F if b then { if } 非終結(jié)符是否為空S－否 A－否 A’－是 B－否 C－否 D－否 D’－是 E－否 F－否 FIRST(S) = { begin }FIRST(A) = FIRST(B) ∪ FIRST(A’) ∪ { ξ} = {a , if , 。 B A’ { 。aab. . . .. . 學(xué)習(xí)好幫手{X,Y} {X,Y,Z} {X}{X,Y,Z} *