華東交通大學(xué)編譯原理試題庫 試卷十.doc

一、填空題(每題2分，共20分)1、 語法分析是依據(jù)語言的 規(guī)則進(jìn)行的，中間代碼產(chǎn)生是依據(jù)語言的 規(guī)則進(jìn)行的 。2、程序語言的單詞符號(hào)一般可以分為 等等。 3、語法分析器的輸入是 ，其輸出是 4、所謂自上而下分析法是指 。5、如果一個(gè)文法存在某個(gè)句子對(duì)應(yīng)兩棵不同的語法樹，則稱這個(gè)文法是 。 6、對(duì)于文法G，僅含終結(jié)符號(hào)的句型稱為 。7、逆波蘭式ab+c+d*e-所表達(dá)式為 。 8、一個(gè)名字的屬性包括 和 。9、對(duì)于數(shù)據(jù)空間的存貯分配，F(xiàn)ORTRAN采用 策略，PASCAL采用 策略。 10、所謂優(yōu)化是指 。 二、名詞解釋(每題2分，共10分)1、詞法分析器2、語法3、最右推導(dǎo)4、語法制導(dǎo)翻譯5、基本塊三、簡述題(每題4分，共24分)1、考慮下面程序. Var i:integer; a:array1.2 of integer; procedure Q(b); Var b:integer; begin i:=1;b:=b+2; i:=2;b:=b+3 End; begin a1:=5;a2:=6; i:=1; Q(ai);print(a1,a2) END. 試問：若參數(shù)傳遞的方式分別采用傳地址和傳值時(shí)，程序執(zhí)行后輸出a1,a2的值是什么? 2、畫出Pascal中實(shí)數(shù)(不帶正負(fù)號(hào)，可帶指數(shù)部分)的狀態(tài)轉(zhuǎn)換圖。3、已知文法G(S): Sa|(T) TT,S|S 的優(yōu)先關(guān)系表如下： 關(guān)系a(),a-;(=,請(qǐng)計(jì)算出該優(yōu)先關(guān)系表所對(duì)應(yīng)的優(yōu)先函數(shù)表。4、寫出表達(dá)式(a+b)/(a-b)-a(a+b*c)的三元式序列及四元序列。5、符號(hào)表的作用是什么？符號(hào)表的查找的整理技術(shù)有哪幾種? 6、所謂DISPLAY表？其作用是什么?四、計(jì)算題(共41分)1、寫一個(gè)文法，使其語言是偶數(shù)集，且每個(gè)偶數(shù)不以0開頭。(5分)2、已知文法G(S): Sa|(T) TT,S|S 給出句子(a,(a,a)的最左推導(dǎo)并畫出語法樹； 給出句型(T,S),a)的短語、直接短語、句柄。(8分) 3、把語句 if x0y0 then z:=x+y else begin x:=x+2; y:=y+3 END; 翻譯成四元式序列。(6分) 4、設(shè)某語言的for語句的形式為 for i:=E(1) TO E(2) do S 其語義解釋為 i:=E(1); LIMIT:=E(2); again:if i(T)=(T,S)=(S,S) =(a,S)=(a,(T)=(a,(T,S) =(a,(S,S)=(a,(a,S) =(a,(a,a) 語法樹：(2分，此處略) 3、 答： (j,x,0,3) (j,-,-,8) (j,y,0,5) (j,-,-,8) (+,x,y,T1) (:=,T1,-,Z) (j,-,-,12) (+,x,2,T2) (:=,t2,-,X) (+,Y,3,t3) (:=,T3,-,y) (控制結(jié)構(gòu)3分，其它3分) 4、答： (2分) Ffor i:=E (1) to E (2) do SF S(1) (每個(gè)語義動(dòng)作2分) Ffor i:=E (1) to E (2) do GEN(:=,E (1) .place,-,entry(i); F.place:=entry(i); LIMIT:=Newtemp; GEN(:=,E (2) .place,-,LIMIT); :=NXQ; F.QUAD:=q; GEN(j,entry(i),LIMIT,q+2) F.chain:=NXQ; G)j,-,-,0) SF S (1) BACKPATCH(S (1) .chain,NXQ); GEN(+,F.place,1,F.place); GEN(j,-,-,F.QUAD); S.chain:=F.chain 5、答： (消除左遞歸2分，提公共左因子2分) SaFS|+aFS S+aFS| F*aF FF| (3分) FIRST(S)=a,+ FOLLOW(S)=# FIRST(S)=+, FOLLOW(S)=# FIRST(F)=* FOLLOW(F)=+,# FIRST(F)=*,) FOLLOW(F)=+,# (3分) - a + * # S SaFS S+aFS - - S - S+aFS -