《编译原理》课后复习题集.docx

《《编译原理》课后复习题集.docx》由会员分享，可在线阅读，更多相关《《编译原理》课后复习题集.docx（25页珍藏版）》请在优知文库上搜索。

1、编译原理复习题集I .名词解释短语句柄文法上下文无关文法(1)文法1.R(1)文法语法分析无环路有向图(DAG)后缀式语法制导翻译遍局部优化词法分析语法分析语义分析源语言源程序目标语言中间语言(中间表示)2.简答题(1)编译程序和高级语言有什么区别？(2)编译程序的工作分为那几个阶段？(3)简述自下而上的分析方法。(4)目标代码有哪几种形式？生成目标代码时通常应考虑哪几个问题？(5)何谓优化？按所涉及的程序范围可分为哪几级优化？(6)简述代码优化的目的和意义。3 .叙述下面的正规式描述的语言，并画出接受该语言的最简DFA的状态转换图。(1Ol)*0*4 .PaSCaI语言无符号数的正规定义如下

2、：numdigit*(.digit*)?(E(+-)?digit*)?其中digit表示数字，用状态转换图表示接受无符号数的确定有限自动机。5 .画出PaSCaI中实数(不带正负号，可带指数部分)的状态转换图。6 .用状态转换图表示接收(ab)aa的确定的有限自动机。7 .处于/*和*/之间的串构成注解，注解中间没有*/。画出接受这种注解的DFA的状态转换图。8 .某操作系统下合法的文件名为device:name,extension其中第一部分(device:)和第三部分(.extension)可缺省，device,name和extension都是字母串，长度不限，但至少为1,画出识别这种文件

3、名的确定有限自动机。9 .构造一个DFA,它接受0,1上0和1的个数都是偶数的字符串。10 .设有非确定的有自限动机NFAM=(A,B,C,0,1,A,C),其中：(A,0)=C(A,1)=A,B(B,1)=C(C,l)=Co请画出状态转换距阵和状态转换图。11 .设La,b,c*是满足下述条件的符号串构成的语言:(1)若出现a,则其后至少紧跟两个C；(2)若出现b,其后至少紧跟一个cO试构造识别L的最小化的DFA,并给出描述L的正规表达式。12 .写出字母表=a,b上语言L=wW的最后两个字母是aa或bb的正规式，并画出接受该语言的最简DFA。13 .有穷自动机M接受字母表E=0,1上所有满

4、足下述条件的串：串中至少包含两个连续的0或两个连续的1。请写出与M等价的正规式。14 .有正规式b*abb*(abb*)*,(1)构造该正规式所对应的NFA(画出状态转换图)。(2)将所求的NFA确定化(画出确定化的状态转换图)。(3)将所求的NFA最小化.(画出最小化后的状态转换图)。15 .求出下列文法所产生语言对应的正规式.SbSIaAAaAlbBBaAbCbCbSIaA16 .给出与下图的NFA等价的正规式。17.把下面的NFA确定化。18.下面两个文法中哪一个不是LR 那个有移进一归约冲突的规范的LR(1)文法？对非LR (1)的那个文法。给出 (1)项目集。S aAc S aAc1

5、9.将下面的DFA化20.为语言w (ab)*并且在W的任何前缀中，a的个数不少于b的个数写一个LR(1)文法，不准超过6个产生式。21 .写一个文法，使其语言是奇数集，且每个奇数不以0开头。22 .考查文法G(s):Sf(T)TT,SS(1)消除文法的左递归；提取公共左因子；对每个非终结符，写出不带回朔的递归子程序。23 .设文法G(三):Sf(L)IaSIa1.-*L,SS(1)消除左递归和回溯；(2)计算每个非终结符的FIRST和FOLLOW；(3)构造预测分析表。24 .消除下列文法的左递归.SSaPlSflPPQbPQQcSdIe25 .已知文法G：AaABe|aBBbd给出与上述文

6、法等价的LL(I)文法G,O26 .已知文法GA：AfaABaBfBbld(1)构造与GA等价的LL(D文法；(2)构造G，A的预测分析表。27 .程序的文法如下：DD;Did:Tprocid;D;S(1)写一个语法制导定义，打印该程序一共声明了多少个id。(2)写一个翻译方案，打印该程序每个变量id的嵌套深度。28 .构造下面文法的LL(1)分析表。DTLTintireal1.idRR,idR29 .考虑下文法：DTVTintIfloatVid,V!ida.在该文法中提取左公因子。b.为所得文法的非终结符构造First和Follow集合。c.说明所得的文法是LL(I)文法。d.为所得文法构造

7、LL(I)分析表。e.假设有输入串intX,y,z写出相应LL(I)分析程序的动作。30.说明如下文法是否是LL(1)文法，若不是，将其转换为LL(1)文法。最后给出该文法的LL(1)分析表。ABeBBbaP-*beginXYendXfXd;X-*d;Y-Y;SYfS(1)该文法含有左递归吗？若有，消除它。(2)改造后的文法是LL(I)文法吗？若是，给出其预测分析表。(3)写出句子begind；send的分析过程。32 .已给文法GS：SfSaPSfIPPfqbPq将GS改造成LL(1)文法，并给出LL(1)分析表。33 .设文法G(三):Sf(L)IaSIa1.-L,SS(1)消除左递归和回

8、溯；(2)计算每个非终结符的FIRST和FOLLOW；(3)构造预测分析表。34 .给定文法GS：SfAadbjBbIdBaA-*cBfC构造文法GS的LR(1)分析表。SfalAl(T)T-T,SS写出句子(a,a),a)的规范归约过程及每一步的句柄。36 .已知文法G(E)E-TE+TT-FT*FFf(E)Ii给出句型(T*F+i)的最右推导及画出语法树；37 .说明下面的文法不是SLR(I)文法，并重写一个等价的SLR(I)文法。SMabMCdCbdaMdS,SSMabMc!dcbdaMdS,SSfMaSb.Mc|S.bMcbaS.ad-Sbd.a，Sb.daSt.deM.dMfdS-.

9、bdaM9.d因为a是M的后继符号之一，因此在上面最右边一个项目集中有移进归约冲突。等价的SLR(I)文法是SdabdcIdebda38 .在PASCAL语言中，简单类型的变量的声明例举如下：m,n:integerp,q,r:real为这样的声明写一个LR(1)文法(为简单起见，变量标识符都用id表示)，并根据你的文法写一个语法制导定义(或叫做为你的文法加上语义动作)，它将变量的类型填入符号表。.一个非LR(1)的文法如下：1.MLbaM请给出所有有移进一归约冲突的LR(1)项目集，以说明该文法确实不是LR(1)的。39 .若有文法G(三)的产生式如下：SL=RSR1.*R1.iRL,构造识别

10、所有项目集规范族的DFA.,判断该文法是否是SLR(I)文法，说明理由。40 .现有句型b1和产生式Ab,分别指出LL(1)方法和LR(1)方法在扫描到此句型的什么位置决定用此产生式？41 .为下面的算术表达式文法写一个语法制导的翻译方案，它将每个子表达式E的符号(即值大于零还是小于零)记录在属性E.sign中(属性值分别用POS或NEG表示)。你可以假定所有的整数都不为零，这样就不用担心零的符号。EE*E+EEunsigned_integer42 .一个文法如下：S(三)Sa请给出该文法中对活前缀(有效的LR(1)项目。43 .为下面文法添加语义规则(或叫动作子程序)，输出S产生的二进制数的

11、值，如输入是IOl时，输出5。SSSSBBBOil44 .写出表达式(a+b*c)(a+b)-d的逆波兰表示及三元式序列。45 .把表达式-(a+b)*(c+d)+(a+b+c)翻译成三地址码序列。46 .设布尔表达式的文法为E-*EiE2EfEE2Ei假定它们将用于条件控制语句中，请(1)改写文法，使之适合进行语法制导翻译；(2)写出改写后的每个产生式的语义动作。47 .将语句if(A0)while(OO)C=C+D;翻译成三地址码序列。48 .设有基本块如下：T1=S+RT2=3T3=12/T2T4=SRA=T1-T4T5=S+RB=T5T6=T5*T3B=T6(1)画出中间代码的流图；(

12、2)设A、B是出基本块后的活跃变量，清给出优化后的三地址码序列。49 .设已构造出文法G(三):(1) SBB(2) BaB(3) Bb的LR分析表如下ACTIONGOTO状态ab#SB0s3s4121acc2s6s753s3s484r3r35rl6s6s797r38r2r29r2假定输入串为abab,请给出LR分析过程(即按照步骤给出状态，符号，输入串的变化过程)O50 .给出活动记录空间结构。并给出各部分的存储对象。51 .将下面程序段翻译成四元式序列。while(ACBD)if(A=DC=C+1;elsewhile(A0THENx:=x+lELSEx:=4*(-1)的翻译方案图。54 .

13、下面是一个C语言程序：main()(longi;longa04;longj;1 =4;j=8;printf(%d,%dnv,sizeof(a),a00);虽然出现longa04这样的声明，在X86Linux机器上该程序还是能通过编译并生成目标代码。请回答下面两个问题：(I)SiZeOf(a)的值是多少,请说明理由。(2)a00的值是多少，请说明理由。(1)按照数组SiZe的计算公式，SiZec)f(a)的值一定是0。(2)a00的值是4。虽然a的SiZe是0,但它仍然有起始地址，并且a00的地址等于a的起始地址。由于X86Linux机器上，活动记录栈向低地址方向增长，另外由于低地址放低位字节，因此a00的地址和i的地址一致，其值和i的值一样，等于4。56 .将下面的条件语句表示成三地址码序列：if(ab)x=a+b*c;elsex=b-a;57 .考虑下面的三地址语句序列：b:=1b:=2ifw=XgotoL2e:=bgotoL21.l:gotoL31.2:c:=3b:=4c:=61.3:ify=zgotoL4gotoL51.4:g:=g+1h:=8gotoLl1.5:h:=9(1)在该代码中用水平的横线将代码分成基本