編譯原理復(fù)習(xí)題及答案

1、編譯原理復(fù)習(xí)題及答案一、 選擇題1 一個(gè)正規(guī)語(yǔ)言只能對(duì)應(yīng)(B)A 一個(gè)正規(guī)文法B 一個(gè)最小有限狀態(tài)自動(dòng)機(jī)2 文法GA：A AaB BAb Ba是(A)A 正規(guī)文法B 二型文法3 下面說(shuō)法正確的是(A)A 一個(gè)SLR（1）文法一定也是LALR（1）文法B 一個(gè)LR（1）文法一定也是LALR（1）文法4 一個(gè)上下文無(wú)關(guān)文法消除了左遞歸，提取了左公共因子后是滿(mǎn)足LL（1）文法的(A)A 必要條件B 充分必要條件5 下面說(shuō)法正確的是(B)A 一個(gè)正規(guī)式只能對(duì)應(yīng)一個(gè)確定的有限狀態(tài)自動(dòng)機(jī)B 一個(gè)正規(guī)語(yǔ)言可能對(duì)應(yīng)多個(gè)正規(guī)文法6 算符優(yōu)先分析與規(guī)范歸約相比的優(yōu)點(diǎn)是(A)A 歸約速度快B 對(duì)文法限制少7 一個(gè)L

2、R（1）文法合并同心集后若不是LALR（1）文法(B)A 則可能存在移進(jìn)/歸約沖突B 則可能存在歸約/歸約沖突C 則可能存在移進(jìn)/歸約沖突和歸約/歸約沖突8 下面說(shuō)法正確的是(A)A Lex是一個(gè)詞法分析器的生成器B Yacc是一個(gè)語(yǔ)法分析器9 下面說(shuō)法正確的是(A)A 一個(gè)正規(guī)文法也一定是二型文法B 一個(gè)二型文法也一定能有一個(gè)等價(jià)的正規(guī)文法10 編譯原理是對(duì)(C)。A、機(jī)器語(yǔ)言的執(zhí)行B、匯編語(yǔ)言的翻譯C、高級(jí)語(yǔ)言的翻譯D、高級(jí)語(yǔ)言程序的解釋執(zhí)行11 (A)是一種典型的解釋型語(yǔ)言。ABASICBCCFORTRANDPASCAL12 把匯編語(yǔ)言程序翻譯成機(jī)器可執(zhí)行的目標(biāo)程序的工作是由(B)完成的

3、。A. 編譯器B. 匯編器C. 解釋器D. 預(yù)處理器13 用高級(jí)語(yǔ)言編寫(xiě)的程序經(jīng)編譯后產(chǎn)生的程序叫(B)A源程序 B目標(biāo)程序C連接程序D解釋程序14 (C)不是編譯程序的組成部分。A.詞法分析程序B.代碼生成程序 C.設(shè)備管理程序D.語(yǔ)法分析程序15 通常一個(gè)編譯程序中，不僅包含詞法分析，語(yǔ)法分析，語(yǔ)義分析，中間代碼生成，代碼優(yōu)化，目標(biāo)代碼生成等六個(gè)部分，還應(yīng)包括(C)。A模擬執(zhí)行器B解釋器 C表格處理和出錯(cuò)處理     D符號(hào)執(zhí)行器16 編譯程序絕大多數(shù)時(shí)間花在(D)上。A出錯(cuò)處理B詞法分析C目標(biāo)代碼生成D表格管理17 源程序是句子

4、的集合，(B)可以較好地反映句子的結(jié)構(gòu)。A. 線(xiàn)性表B. 樹(shù)C. 完全圖D. 堆棧18 詞法分析器的輸出結(jié)果是(D)。A、單詞自身值B、單詞在符號(hào)表中的位置C、單詞的種別編碼D、單詞的種別編碼和自身值19 詞法分析器不能(D)A. 識(shí)別出數(shù)值常量B. 過(guò)濾源程序中的注釋C. 掃描源程序并識(shí)別記號(hào)D. 發(fā)現(xiàn)括號(hào)不匹配20 文法：G：SxSx | y所識(shí)別的語(yǔ)言是(D)。A、xyxB、(xyx)*C、x*yx*D、xnyxn (n0)21 如果文法G是無(wú)二義的，則它的任何句子(A)A最左推導(dǎo)和最右推導(dǎo)對(duì)應(yīng)的語(yǔ)法樹(shù)必定相同B最左推導(dǎo)和最右推導(dǎo)對(duì)應(yīng)的語(yǔ)法樹(shù)可能不同C最左推導(dǎo)和最右推導(dǎo)必定相同D可能存在

5、兩個(gè)不同的最左推導(dǎo)，但它們對(duì)應(yīng)的語(yǔ)法樹(shù)相同22 正則文法(A)二義性的。A. 可以是B. 一定不是C. 一定是23 (B)這樣一些語(yǔ)言，它們能被確定的有窮自動(dòng)機(jī)識(shí)別，但不能用正則表達(dá)式表示。A. 存在B. 不存在C. 無(wú)法判定是否存在24 給定文法AbA | ca，為該文法句子的是(C)A. bbaB. cabC. bcaD. cba25 設(shè)有文法GS：S®S1|S0|Sa|Sc|a|b|c，下列符號(hào)串中是該文法的句子有(D)A. ab0B. a0c01C. a0b0aD. bc1026 文法G產(chǎn)生的(D)的全體是該文法描述的語(yǔ)言。A句型B. 終結(jié)符集C. 非終結(jié)符集D.句子27 若

6、文法G定義的語(yǔ)言是無(wú)限集，則文法必然是(A)A遞歸的B. 上下文無(wú)關(guān)的C. 二義性的D. 無(wú)二義性的28 描述一個(gè)語(yǔ)言的文法是(B)A唯一的B. 不唯一的C. 可能唯一29 一個(gè)文法所描述的語(yǔ)言是(A)A唯一的B. 不唯一的C. 可能唯一30 采用自上而下分析，必須(A)。A、消除回溯B、消除左遞歸C、消除右遞歸D、提取公共左因子31 編譯過(guò)程中，語(yǔ)法分析器的任務(wù)是(A) 分析單詞的構(gòu)成 分析單詞串如何構(gòu)成語(yǔ)句 分析語(yǔ)句是如何構(gòu)成程序 分析程序的結(jié)構(gòu)A. B. C. D. 32 詞法分析器的輸入是( A)。A符號(hào)串 B源程序 C語(yǔ)法單位 D目標(biāo)程序33 兩個(gè)有窮自動(dòng)機(jī)等價(jià)是指它們的(C)。A狀

7、態(tài)數(shù)相等 B有向弧數(shù)相等C所識(shí)別的語(yǔ)言相等D狀態(tài)數(shù)和有向弧數(shù)相等34 若狀態(tài)k含有項(xiàng)目“A· ”，且僅當(dāng)輸入符號(hào)aFOLLOW(A)時(shí)，才用規(guī)則“A ”歸約的語(yǔ)法分析方法是(D)。ALALR分析法BLR(0)分析法CLR(1)分析法 DSLR(1)分析法35 若a為終結(jié)符，則A · a為(B)項(xiàng)目。A歸約B移進(jìn)C接受D待約36 在使用高級(jí)語(yǔ)言編程時(shí),首先可通過(guò)編譯程序發(fā)現(xiàn)源程序的全部和部分(A)錯(cuò)誤。A. 語(yǔ)法B. 語(yǔ)義C. 語(yǔ)用D. 運(yùn)行37 喬姆斯基(Chomsky)把文法分為四種類(lèi)型，即0型、1型、2型、3型。其中3型文法是(B)A. 非限制文法B. 正則文法C. 上

8、下文有關(guān)文法D. 上下文無(wú)關(guān)文法38 一個(gè)句型中的(A)稱(chēng)為該句型的句柄。A. 最左直接短語(yǔ)B. 最右直接短語(yǔ)C. 終結(jié)符D. 非終結(jié)符39 在自底向上的語(yǔ)法分析方法中，分析的關(guān)鍵是(D)A. 尋找句柄B. 尋找句型C. 消除遞歸D. 選擇候選式40 在自頂向下的語(yǔ)法分析方法中，分析的關(guān)鍵是(C)A. 尋找句柄B. 尋找句型C. 消除遞歸D. 選擇候選式41 在LR分析法中，分析棧中存放的狀態(tài)是識(shí)別規(guī)范句型(C)的DFA狀態(tài)。A.句柄B. 前綴C. 活前綴D. LR(0)項(xiàng)目42 一個(gè)上下文無(wú)關(guān)文法G包括四個(gè)組成部分，它們是一組非終結(jié)符號(hào)，一組終結(jié)符號(hào)，一個(gè)開(kāi)始符號(hào)，以及一組(B)A. 句子B

9、. 產(chǎn)生式C. 單詞D. 句型43 詞法分析器用于識(shí)別(C)A. 句子B. 產(chǎn)生式C. 單詞D. 句型44 編譯程序是一種(B)A. 匯編程序B. 翻譯程序C. 解釋程序D. 目標(biāo)程序45 按邏輯上劃分，編譯程序第三步工作是(A)A. 語(yǔ)義分析B. 詞法分析C. 語(yǔ)法分析D. 代碼生成46 在語(yǔ)法分析處理中，F(xiàn)IRST集合、FOLLOW集合均是(B)A. 非終結(jié)符集B.終結(jié)符集C. 字母表D. 狀態(tài)集47 編譯程序中語(yǔ)法分析器接收以(A)為單位的輸入。A. 單詞B. 表達(dá)式C. 產(chǎn)生式D. 句子48 編譯過(guò)程中，語(yǔ)法分析器的任務(wù)就是(B)A. 分析單詞是怎樣構(gòu)成的B. 分析單詞串是如何構(gòu)成語(yǔ)句

10、和說(shuō)明的C. 分析語(yǔ)句和說(shuō)明是如何構(gòu)成程序的D. 分析程序的結(jié)構(gòu)49 若一個(gè)文法是遞歸的，則它所產(chǎn)生的語(yǔ)言的句子(A)。A.是無(wú)窮多個(gè)B.是有窮多個(gè)C.是可枚舉的D.個(gè)數(shù)是常量50 識(shí)別上下文無(wú)關(guān)語(yǔ)言的自動(dòng)機(jī)是(C)A. 下推自動(dòng)機(jī)B. NFAC. DFAD. 圖靈機(jī)51 編譯原理各階段工作都涉及(B)A.詞法分析B.表格管理C.語(yǔ)法分析D.語(yǔ)義分析52 正則表達(dá)式R1和R2等價(jià)是指(C)A. R1和R2都是定義在一個(gè)字母表上的正則表達(dá)式B. R1和R2中使用的運(yùn)算符相同C. R1和R2代表同一正則集D. R1和R2代表不同正則集53 已知文法GS:SA1， AA1|S0|0。與G 等價(jià)的正規(guī)

11、式是(C)A. 0(0|1)*B. 1*|0*1C. 0(1|10)*1D. 1(10|01)*054 與(a|b)*(a|b)等價(jià)的正規(guī)式是(C)。A.a*| b*B.(ab)*(a|b)C. (a|b)(a|b)*D.(a|b)*55 (D)文法不是LL(1)的。A. 遞歸B. 右遞歸C. 2型D.含有公共左因子的56 給定文法AbA|cc，則符號(hào)串cc bcbc bcbcc bccbcc bbbcc中，是該文法句子的是(D)A. B. C. D. 57 LR(1)文法都是()A. 無(wú)二義性且無(wú)左遞歸B. 可能有二義性但無(wú)左遞歸C. 無(wú)二義性但可能是左遞歸D. 可以既有二義性又有左遞歸58

12、 文法EE+E|E*E|i的句子i*i+i*i有(C)棵不同的語(yǔ)法樹(shù)。A. 1B. 3C. 5D.759 文法 SaaS|abc 定義的語(yǔ)言是(C)。A.a2kbc|k>0B.akbc|k>0C.a2k-1bc|k>0D.akakbc|k>060 若B為非終結(jié)符，則 Aa.Bb 為(D)。A.移進(jìn)項(xiàng)目B.歸約項(xiàng)目C.接受項(xiàng)目D.待約項(xiàng)目61 同心集合并可能會(huì)產(chǎn)生新的(D)沖突。A.二義B.移進(jìn)/移進(jìn)C.移進(jìn)/歸約D.歸約/歸約62 就文法的描述能力來(lái)說(shuō)，有(C)ASLR(1) LR(0)BLR(1) LR(0)CSLR(1) LR(1)D無(wú)二義文法 LR(1)63 如圖

13、所示自動(dòng)機(jī)M，請(qǐng)問(wèn)下列哪個(gè)字符串不是M所能識(shí)別的(D)。A. bbaaB. abbaC. ababD. aabb64 有限狀態(tài)自動(dòng)機(jī)能識(shí)別(C)A.上下文無(wú)關(guān)語(yǔ)言B.上下文有關(guān)語(yǔ)言C.正規(guī)語(yǔ)言D.0型文法定義的語(yǔ)言65 已知文法G是無(wú)二義的，則對(duì)G的任意句型(A)A.最左推導(dǎo)和最右推導(dǎo)對(duì)應(yīng)的語(yǔ)法樹(shù)必定相同B.最左推導(dǎo)和最右推導(dǎo)對(duì)應(yīng)的語(yǔ)法樹(shù)可能相同C.最左推導(dǎo)和最右推導(dǎo)必定相同D.可能存在兩個(gè)不同的最左推導(dǎo)，但他們對(duì)應(yīng)的語(yǔ)法樹(shù)相同66 (B)不是DFA的成分A.有窮字母表B.多個(gè)初始狀態(tài)的集合C.多個(gè)終態(tài)的集合D.轉(zhuǎn)換函數(shù)67 與逆波蘭式(后綴表達(dá)式)ab+c*d+對(duì)應(yīng)的中綴表達(dá)式是(B)A.

14、a+b+c*dB. (a+b)* c+dC. (a+b)* (c+d)D. a+b*c+d68 后綴式abc+d+可用表達(dá)式(B)來(lái)表示。A( (a+b)c)+d B(a+(bc)+d C (a(b+c)+d D(a(b+c)+d69 表達(dá)式A*(B-C*(C/D)的后綴式為(B)。AABC-CD/* BABCCD/*-* CABC-*CD/* D以上都不對(duì)70 (D)不是NFA的成分。A. 有窮字母表B. 初始狀態(tài)集合C. 終止?fàn)顟B(tài)集合D. 有限狀態(tài)集合二、 問(wèn)答1 將文法GS 改寫(xiě)為等價(jià)的GS，使GS不含左遞歸和左公共因子。GS： SbSAe | bA AAb | d答：文法GS 改寫(xiě)為等

15、價(jià)的不含左遞歸和左公共因子的G'S為：SbB BSAe | AAd A' A' bA' | 2 將文法GS 改寫(xiě)為等價(jià)的G'S，使G'S不含左遞歸和左公共因子。GS： SSAe|Ae AdAbA|dA|d答：文法GS 改寫(xiě)為等價(jià)的不含左遞歸和左公共因子的G'S為： S AeS'S' AeS'| A dA' A' AB| B bA | 3 將文法GS 改寫(xiě)為等價(jià)的G'S，使G'S不含左遞歸和左公共因子。GS： SA AB|AS BaB|a答：文法GS 改寫(xiě)為等價(jià)的不含左遞歸和左公共因子

16、的G'S為：S AA BAASA|B aBBB|4 判斷下面文法是否為L(zhǎng)L(1)文法，若是,請(qǐng)構(gòu)造相應(yīng)的LL(1)分析表。SaHHaMd | dMAb | AaM | e答：首先計(jì)算文法的 FIRST集和FOLLOW集如下表。文法的 FIRST集和FOLLOW集 非終結(jié)符FIRST集FOLLOW集Sa.# .Ha ，d.# .Ma ，e ，d ，bAa ，e.b.由于predict（HaMd）predict（Hd）=ad = predict（MAb）predict（M）=a ，ed ，b = predict（AaM）predict（Ae）= a e = 所以該文法是LL(1)文法，LL

17、(1)分析表如下表。 adbe#SaH.    HaMdd.   MAb.Ab AaM.  e. 5 判斷下面文法是否為L(zhǎng)L(1)文法，若是，請(qǐng)構(gòu)造相應(yīng)的LL(1)分析表。SaDDSTe|TbH|HHd|答：首先計(jì)算文法的 FIRST集和FOLLOW集如下表。 非終結(jié)符FIRST集FOLLOW集Sa#，b，d，e.Da，#，b，d，e Tb，d，eHd，e由于predict（DSTe）predict（D）=a# ，b ，d ，e =predict（TbH）predict（TH

18、）=be =predict（Hd）predict（H）= d e =所以該文法是LL(1)文法，LL(1)分析表如下表： aebd#SaD.    DSTeT H.bHH. H  d. 6 判斷下面文法是否為L(zhǎng)L(1)文法，若是，請(qǐng)構(gòu)造相應(yīng)的LL(1)分析表。SaDDSTe|TbMMbHHM|答：文法的 FIRST集和FOLLOW集非終結(jié)符FIRST集FOLLOW集Sa.# ，bDa ，# ，bTb.e.Mb.e.Hb ，e.由于predict（DSTe）predict（D）=a# ，b=pre

19、dict（HM）predict（H）= b e =所以該文法是LL(1)文法，LL(1)分析表如下表： aeb#SaD.   DSTe T  bM M  bH H M. 7 某語(yǔ)言的拓廣文法G為：(0) SS(1) S Db|B(2) D d|(3) B Ba|證明G不是LR(0)文法而是SLR(1)文法，請(qǐng)給出SLR(1)分析表。答：拓廣文法G'，增加產(chǎn)生式S'S在項(xiàng)目集I0中：有移進(jìn)項(xiàng)目D ·d 歸約項(xiàng)目D ·和B ·

20、;存在移進(jìn)-歸約和歸約-歸約沖突，所以G不是LR(0)文法。若產(chǎn)生式排序?yàn)椋?0) S'S(1) S Db(2) S B(3) D d(4) D (5) B Ba(6) B G的LR(0)項(xiàng)目集族及識(shí)別活前綴的DFA如下圖：由產(chǎn)生式知Follow(S)=# Follow(D)= bFollow(B)= a ,#在I0中:Follow(D) d= b d=Follow(B) d= a ,# d=Follow(D) Follow(B)= ba ,# =在I3中:Follow(S) a=#a=所以在I0，I3中的移進(jìn)-歸約和歸約-歸約沖突可以由Follow集解決,所以G是SLR(1)文法,

21、構(gòu)造的SLR(1)分析表如下表：狀態(tài)ACTIONGOTObda#SDB0r4S4r6r61231   acc   2S5      3  S6r2   4r3      5   r1   6  r5r5   8 給出與正規(guī)式R（ab）*（a|b*）ba等價(jià)的N

22、FA。答：與正規(guī)式R等價(jià)的NFA如下圖9 給出與正規(guī)式R（(ab)*|b）*（a|(ba)*）a 等價(jià)的NFA。答：與正規(guī)式R等價(jià)的NFA如下圖10 給出與正規(guī)式 R（aba）*（(ba)*|b）b等價(jià)的NFA。答：與正規(guī)式R等價(jià)的NFA如下圖11 將下圖的NFA確定化為DFA。答：用子集法確定化如下表IIaIb狀態(tài)X,1,21,2.1,2,31,2,Y1,2.1,2.1,2,Y1,2.1,2,31,2,31,2,31,2,3X123確定化后如下圖：12 將下圖的NFA確定化為DFA。答：用子集法確定化如下表IIaIb狀態(tài)X,0,1,30,1,3.2,3,Y.1,3.2,Y.Y.0,1,30,

23、1,31,3.1,3.2,3,Y2,3,YY.2,Y.Y.X1234Y確定化后如下圖13 某語(yǔ)言的拓廣文法G為：(0) ST (1) T aBd|(2) B Tb| 證明G不是LR(0)文法而是SLR(1)文法，請(qǐng)給出SLR(1)分析表。答：拓廣文法G'，增加產(chǎn)生式S'T 在項(xiàng)目集I0中：有移進(jìn)項(xiàng)目T ·aBd和歸約項(xiàng)目T ·存在移進(jìn)-歸約沖突，所以G不是LR(0)文法。 若產(chǎn)生式排序?yàn)椋?(0) S'T(1) T aBd(2) T (3) B Tb(4) B G'的LR(0)項(xiàng)目集族及識(shí)別活前綴的DFA如下圖所示：識(shí)別G活前綴的DFA由產(chǎn)生

24、式知：Follow(T)=#,b Follow(B)= d在I0中： Follow(T) a=# ，b a=在I2中：Follow(B) a= d a=Follow(T) a=# ，b a=Follow(B) Follow(T) = d# ，b=所以在I0，I2，中的移進(jìn)-歸約和歸約-歸約沖突可以由Follow集解決，所以G是SLR(1)文法。 構(gòu)造的SLR(1)分析表如下表。SLR(1)分析表nameACTIONGOTOabd#TB0S2r2 r21 1   acc  2S2r2r4r2433  S5&

25、#160;  4 S6    5 r1 r1  6  r3   14 某語(yǔ)言的文法G為： E aTd| T Eb|a證明G不是LR(0)文法而是SLR(1)文法，請(qǐng)給出該文法的SLR(1)分析表。答：拓廣文法G'，增加產(chǎn)生式S'E在項(xiàng)目集I0中： 有移進(jìn)項(xiàng)目E ·aTd和歸約項(xiàng)目E· 存在移進(jìn)-歸約沖突，所以G不是LR(0)文法。 .若產(chǎn)生式排序?yàn)椋?0) SE (1) E aTd (2) E (3)

26、 T Eb (4) T aG的LR(0)項(xiàng)目集族及識(shí)別活前綴的DFA如下圖：由產(chǎn)生式知：Follow(E)=# ，b Follow(T)= d在I0 ，I2中:Follow(E) a=# ，b a=在I5 中:Follow(E) a=# ，b a=Follow(T) a= d a=Follow(T) Follow(E) = d # ，b=所以在I0 ， I2 ， I5中的移進(jìn)-歸約和歸約-歸約沖突可以由Follow集解決,所以G是SLR(1)文法。構(gòu)造的SLR(1)分析表如下表：nameACTIONGOTOabd#ET0S2r2 r21 1   

27、;acc  2S5r2 r2433  S6   4 S7    5S5r2r4r2436 r1 r1  7  r3   15 給出文法GS的LR(1)項(xiàng)目集規(guī)范族中I0項(xiàng)目集的全體項(xiàng)目。GS為： S BD|D B aD|b D BI0:答：I0：16 給出文法GS的LR(1)項(xiàng)目集規(guī)范族中I0項(xiàng)目集的全體項(xiàng)目。GS為： S D;D|D D DB|B B a|bI0:答：I0:1

28、7 給出文法GS的LR(1)項(xiàng)目集規(guī)范族中I0項(xiàng)目集的全體項(xiàng)目。GS為： S S;V|V V VaA|A A b(S)| I0:答：I0:18 文法GM及其LR分析表如下，請(qǐng)給出對(duì)串dbba#的分析過(guò)程。GM: 1) M VbA2) V d3) V 4) A a5) A Aba6) A nameACTIONGOTObda#MAV0r3 S3  1 21   acc   2S4      3r2    

29、60; 4r6 S5r6 6 5r4  r4   6S7  r1   7  S8    8r5  r5   答：對(duì)串dbba#的分析過(guò)程如下表步驟狀態(tài)棧文法符號(hào)棧剩余輸入符號(hào)動(dòng)作12345678900302024024602467024678024601#d#V#Vb#VbA#VbAb#VbAba#VbA#Mdbba#bba#bba#ba#ba#a

30、#移進(jìn)用V d歸約移進(jìn)用A 歸約移進(jìn)移進(jìn)用A Aba 歸約用M VbA 歸約接受19 文法GS及其LR分析表如下，請(qǐng)給出對(duì)輸入串da;aoa#的分析過(guò)程。GS: 0) SS1) SdSoS2) S dS3) S S;S 4) S a nameACTIONGOTOda;a#S0S2S3 S3 11  S4 acc 2S2  S3 53 r4r4 r4 4S2  S3 65 S7S4 r2 6 r3r3

31、0;r3 7S2  S3 88 r1S4 r1 答：輸入串da;aoa#的分析過(guò)程如下表：步驟狀態(tài)棧文法符號(hào)棧剩余輸入符號(hào)動(dòng)作123456789101112 002023025025402543025460250257025730257801#d#da#dS#dS;#dS;a#dS;S#dS#dSo#dSoa#dSoS#Sda;aoa#a;aoa#;aoa#;aoa#aoa#oa #oa #oa #a #移進(jìn)移進(jìn)用S a 歸約移進(jìn)移進(jìn)用S a 歸約用S S;S 歸約移進(jìn)移進(jìn)用S a 歸約用SdSoS 歸約接受20 文法GM及

32、其LR分析表如下，請(qǐng)給出對(duì)串dada#的分析過(guò)程。GM: 1) S VdB2) V e3) V 4) B a 5) B Bda6) B 狀態(tài)ACTIONGOTOdea#SBV0r3 S3  1 21   acc   2S4      3r2      4r6 S5r6 6 5r4  r4   6S7 

33、; r1   7  S8    8r5  r5   答：對(duì)串dada#的分析過(guò)程如下表步驟狀態(tài)棧文法符號(hào)棧剩余輸入符號(hào)動(dòng)作1234567890020240245024602467024678024601#V#Vd#Vda#VdB#VdBd#VdBda#VdB#Sdada#dada#ada#da#da#a#用V 歸約移進(jìn)移進(jìn)用B a歸約移進(jìn)移進(jìn)用B Bda 歸約用S VdB 歸約接受21 文法GE為： EE+T|T TT*F|F F(E)|i試給出

34、句型(E+F)*i的短語(yǔ)，簡(jiǎn)單(直接)短語(yǔ),句柄和最左素短語(yǔ)。答：短語(yǔ)有: (E+F)*i ，(E+F) ，E+F ，F(xiàn) ，i 簡(jiǎn)單(直接)短語(yǔ)有：F ，i 句柄是：F最左素短語(yǔ)是：E+F22 文法GS為：SV VT | ViT TF| T+FF)V* |( 試給出句型ViFi( 的短語(yǔ)，簡(jiǎn)單(直接)短語(yǔ),句柄和最左素短語(yǔ)。答：短語(yǔ)有: ViFi( ，ViF ， F ，(簡(jiǎn)單(直接)短語(yǔ)有: F ，( 句柄是: F 最左素短語(yǔ)是: ViF23 文法GS為：SSdT | TTT<G | GG(S) | a試給出句型(SdG)<a的短語(yǔ)、簡(jiǎn)單(直接)短語(yǔ)、句柄和最左素短語(yǔ)。答：句型(S

35、dG)<a的短語(yǔ)：(SdG)<a 、（SdG） 、SdG 、G 、a簡(jiǎn)單(直接)短語(yǔ)：G 、a句柄：G最左素短語(yǔ)：SdG24 按指定類(lèi)型給出下列語(yǔ)言的文法。(1) L1= anbm c| n0，m>0 用正規(guī)文法。(2) L2= a0n1n bdm | n>0，m>0 用二型文法。 答：(1) 描述L1語(yǔ)言的正規(guī)文法如下： S aS|AA bA|bB B c(2) 描述L2語(yǔ)言的二型文法如下：S AB A aT T 0T1|01 B bD D dD|d 25 下列語(yǔ)言或文法確切屬于按喬姆斯基（Chomsky）分類(lèi)的哪種類(lèi)型,請(qǐng)?zhí)钤冢?）內(nèi)。（1） L1= a0n1nbdm | n>0，m >0 ( ) （2） L2= anbncnbm | n0,m>0 ( ) （3） L3= anbmc| n0,m>0 ( ) （4） GA:AaB| BAb|a ( )（5） GE:EE+E|E*E|(E)|i ( )答：（1