完整word版编译原理第七章答案

合集下载

编译原理Chapter7 考试重点章节

7
山东交通学院
《编译原理》
规范推导/规范句型/规范归约
最右推导：在推导的任何一步αβ，其中α和β是句型，都是对α中的最右非终结符进行替换。最右推导被称为规范推导。由规范推导所得的句型称为规范句型例：G[S]： S→E E→E+T | T T→(E) | i SE T (E) (E+T) (E+i) (T+i) (i+i) 规范归约：假定α是G的一个句子，称序列αn、αn-1 …、α0是α的一个规范归约，如果该序列满足： 1、 αn = α 2、 α0为文法的开始符号 3、对任何j，0<j<=n， αj-1是从αj经把句柄替换为相应产生式的左部而得到的
杨海 yanghai_sdjtu@
23
山东交通学院
《编译原理》
构造识别活前缀的FA(续)
(2) LR(0) 项目集的闭包：即FA中的状态若当前处于A –> X•YZ刻画的情况，期望移进First(Y) 中的某些符号，假如有产生式Y –> u 。那么Y –> .u，这个项目也是刻划期望移进First(Y)中的某些符号的情况。 A –> X•YZ Y –> •u 这两个项目对应移进归约分析的同一个状态，这两个项目构成一个项目集, 对应每个项目集，分析表将有一个状态。
4
山东交通学院
《编译原理》
3、规约的一个特殊情况：栈中的全部内容w归约为开始符号S （即施用 S –> w），且没有余留输入了，意味着已成功分析了整个输入串。
4、移进归约分析中还会出现一种情况，就是出错，比如当前的token不能构成一个合法句子的一部分，例如上面的文法，试分析i+)时就会发生错误。

编译原理第7章习题解答

第七章习题解答7.1 给定文法：S→(A)A→ABBA→BB→bB→c①构造它的基本LR(0)项目集；②构造它的LR(0)项目集规范族；③构造识别该文法活前缀的DFA；④该文法是SLR文法吗？若是，构造它的SLR分析表。

7.2 给定文法：E→EE+E→EE*E→a①构造它的LR(0)项目集规范族；②它是SLR(1)文法吗？若是，构造它的SLR(1)分析表；③它是LR(1)文法吗？若是，构造它的LR(1)分析表；④它是LALR(1)文法吗？若是，构造它的LALR分析表。

7.3 给出一个非LR(0)文法。

7.4 给出一个SLR(1)文法，但它不是LR(0)文法，构造它的SLR分析表。

7.5 给出一个LR(1)文法，但它不是LALR(1)文法，构造它的规范LR(1)分析表。

7.6 给定二义性文法：① E→E+E② E→E*E③ E→(E)④ E→id用所述的无二义性规则和(或)另加一些无二义性规则，例如，给算符*、+施加某种结合规则。

①构造它的LR(0)项目集规范族及识别活前缀的DFA；②构造它的LR分析表。

习题参考答案7.1 解：文法的基本LR(0)项目集为S→.(A) S→(.A) S→(A.) S→(A).A→.ABB A→A.BB A→AB.B A→ABB.A→.B A→B. B→.b B→b.B→.c B→c.构造该文法的识别活前缀的DFSA如下图所示：I文法的识别活前缀的DFSA该文法的LR(0)项目集规范族={I0，I1，I2，I3，I4，I5，I6，I7，I8}因为在构造出来的识别活前缀的DFA中，每一个状态对应的项目集都不含有移进-归约、归约-归约冲突，所以该文法是LR(0)文法，当然也是SLR文法。

因为 FOLLOW(S)={#}FOLLOW(A)=FIRST{)}∪FIRST(BB)={)，b，c}FOLLOW(B)=FIRST(B)∪FOLLOW(A)={b，c，)}其对应的SLR(1)分析表如下表所示。

编译原理第七章习题参考答案

第1 题已知文法A→aAd|aAb|ε判断该文法是否是SLR(1)文法，若是构造相应分析表，并对输入串ab#给出分析过程。

答案：文法：A→aAd|aAb|ε拓广文法为G′，增加产生式S′→A若产生式排序为：0 S' →A1 A →aAd2 A →aAb3 A →ε由产生式知：First (S' ) = {ε,a}First (A ) = {ε,a}Follow(S' ) = {#}Follow(A ) = {d,b,#}G′的LR(0)项目集族及识别活前缀的DFA 如下图所示在I0 中：A →.aAd 和A →.aAb 为移进项目，A →.为归约项目，存在移进-归约冲突，因此所给文法不是LR(0)文法。

在I0、I2 中：Follow(A) ∩{a}= {d，b，#} ∩{a}=所以在I0、I2 中的移进-归约冲突可以由Follow 集解决，所以G 是SLR(1)文法。

构造的SLR(1)分析表如下：对输入串ab#的分析过程:第2 题若有定义二进制数的文法如下：S→L·L|LL→LB|BB→0|1(1) 试为该文法构造LR 分析表，并说明属哪类LR 分析表。

(2) 给出输入串101.110 的分析过程。

答案：文法：S→L.L|LL→LB|BB→0|1拓广文法为G′，增加产生式S′→S若产生式排序为：0 S' →S1 S →L.L2 S →L3 L →LB4 L →B5 B →06 B →1由产生式知：First (S' ) = {0,1}First (S ) = {0,1}First (L ) = {0,1}First (B ) = {0,1}Follow(S' ) = {#}Follow(S ) = {#}Follow(L ) = {.,0,1,#}Follow(B ) = {.,0,1,#}G′的LR(0)项目集族及识别活前缀的DFA 如下图所示：在I2 中：B →.0 和 B →.1 为移进项目，S →L.为归约项目，存在移进-归约冲突，因此所给文法不是LR(0)文法。

编译原理清华大学出版社第7章习题重点题解答

1S → a | ∧ | ( T )T → T , S | S解：(1) 增加辅助产生式 S’→＃S＃求 FIRSTVT集FIRSTVT（S’）＝ {#}FIRSTVT（S）＝ {a ∧ ( }FIRSTVT (T) ＝ {,} ∪ FIRSTVT( S ) = { , a ∧ ( }求 LASTVT集LASTVT（S’）＝ { # }LASTVT（S）＝ { a ∧ )}LASTVT (T) ＝ { , a ∧ )}(2)算符优先关系表a ∧( ) , #a ·> ·> ·> ∧·> ·> ·> ( <·<·<·=·<·) ·> ·> ·>, <·<·<··> ·># <·<·<·=·因为任意两终结符之间至多只有一种优先关系成立，所以是算符优先文法(3)a ∧( ) ,F 1 1 1 11 1g 1 1 1 11 1f 2 2 1 3 2g 2 2 2 1 2f 3 3 1 3 3g 4 4 4 1 2f 3 3 1 3 3g 4 4 4 1 2(4)栈优先关系当前符号剩余输入串移进或规约＃<·( a,a)#移进＃( <· a,a)# 移进# (a ·> , a)# ＃(T <·, a)# ＃(T，<· a )# ＃(T,a ·> ) # ＃(T,T ·> ) # ＃(T =·) # ＃(T) ·> ＃＃T =·＃4.扩展后的文法S’→#S# S→S;G S→G G→G(T)G→H H→a H→(S)T→T+S T→S（1）FIRSTVT(S)={;}∪FIRSTVT(G) = {; , a , ( } FIRSTVT(G)={ ( }∪FIRSTVT(H) = {a , ( } FIRSTCT(H)={a , ( }FIRSTVT(T) = {+} ∪FIRSTVT(S) = {+ , ; , a , ( }LASTVT(S) = {;} ∪LASTVT(G) = { ; , a , )}LASTVT(G) = { )} ∪LASTVT(H) = { a , )}LASTVT(H) = {a, )}LASTVT(T) = {+ } ∪LASTVT(S) = {+ , ; , a , ) }构造算符优先关系表; ( ) a + # ；·> <··> <··> ·> ( <·<·＝·<·<·) ·> ·> ·> ·> ·> a ·> ·> ·> ·> ·> + <·<··> <··># <·<·<·＝·因为任意两终结符之间至多只有一种优先关系成立，所以是算符优先文法（2）句型a(T+S);H;(S)的短语有：a(T+S);H;(S) a(T+S);H a(T+S) a T+S (S) H直接短语有: a T+S H (S)句柄： a素短语：a T+S (S)最左素短语：a(3)分析a；（a＋a）栈优先关系当前符号剩余输入串移进或规约＃＃a ＃T ＃T；＃T；（<··><·<·<·a；；（a；（a＋a）＃（a＋a）＃（a＋a）＃a＋a）＃＋a）＃移进规约移进移进移进＃T；（T ＃T；（T ＋＃T；（T ＋a＃T；（T ＋T＃T；（T ＃T；（T）＃T；T ＃T <·<··>·>＝··>·>＝·＋a）））＃＃＃a）＃）＃＃＃＃移进移进规约规约移进规约规约接受分析a；（a＋a）栈优先关系当前符号剩余输入串移进或规约＃＃（＃（a ＃（T ＃（T＋<·<··><·<·(a＋＋aa＋a）＃＋a）＃a）＃移进移进规约移进移进＃（T＋T ＃（T＃（T）＃T ·>＝··>＝·））＃＃）＃＃＃＃规约移进规约接受（4）不能用最右推导推导出上面的两个句子。

编译原理课后习题答案

编译原理课后习题答案编译原理习题答案习题11.1翻译程序：把⽤某种程序设计语⾔（源语⾔）编写的程序（源程序）翻译成与之等价的另⼀种语⾔（⽬标语⾔）的程序（⽬标程序）。

编译程序：⼀种翻译程序，将⾼级语⾔编写的源程序翻译成等价的机器语⾔或汇编语⾔的⽬标程序。

1.2词法分析、语法分析、语义分析和中间代码⽣成、代码优化、⽬标代码⽣成1.3词法分析：根据语⾔的词法规则对构成源程序的符号进⾏扫描和分解，识别出⼀个个的单词。

语法分析：根据语⾔的语法规则，把单词符号串分解成各类语法单位。

语义分析及中间代码⽣成：对语法分析识别出的语法单位分析其含义，并进⾏初步翻译。

代码优化：对中间代码进⾏加⼯变换，以产⽣更⾼效的⽬标代码。

⽬标代码⽣成：将中间代码变换成特定机器上的绝对指令代码、可重定位的指令代码或会变指令代码。

以上5个阶段依次执⾏。

习题22.1 （1）有穷⾮空的符号集合（2）利⽤产⽣是规则A->v将A替换为v时与A的上下⽂⽆关。

（3）略（4）推导是把句型中的⾮终结符⽤⼀个产⽣是规则的右部开替代的过程；直接推导是将⾮终结符的替代结果只⽤了⼀次产⽣式规则。

（5）略（6）⼀个句型的最左直接短语（7）如果⼀个⽂法存在某个句⼦对应两棵不同的语法树或有两个不同的最左（右）推导，则称这个⽂法是⼆义的。

2.2（1）VN =｛Z,A,B｝ VT ={a,b,c,d,e}（2）abbcde,abbbcde是，acde不是。

2.3 （1）L[G]={d|n≥1,m≥0}（2）2.4 （1） A=>B=>c=>fAg=>fBg=>fCg=>feg（2）A=>AaB=>AaC=>Aae=>Bae=>BcCae=>Bceae=>Cceae=>eceae（3）A=>B=>BcC=>BcfAg=>BcfAaBg=>BcfAaCg=>BcfAaeg=>BcfBaeg =>BcfCaeg=>Bcfeaeg=>Ccfeaeg=>ecfeaeg（3）中题⽬有错应为C fCg|e2.5L[G]=｛a?b?c?|aab,n≥2｝2.6 (1)Z→AB A→Aa|ε B→Bb|ε(2)Z→aZb|ab(3)Z→aAb A→aAb|b(4)Z→AB A→aAb|ab B→cB|ε(5)Z→aaAb|ab Z→aaBb|bb A→aaAb|ab B→aaBb|bb2.7 ⼀位数：Z→2|4|6|8两位数：Z→AB A→1|2|3|4|5|6|7|8|9 B→0|2|4|6|8三位以上：Z→ACB A→1|2|3|4|5|6|7|8|9 B→0|2|4|6|8 C→CDD→0|1|2|3|4|5|6|7|8|92.8证明：E=>E+T=>E+T*F短语：T*F E+T*F 直接短语：T*F 句柄：T*F2.9 语法树： E 短语：E*T , (E*T) , F↑(E*T) ，F ,E* F↑(E*T)E *F 直接短语：E*T , FT ↑ F 句柄：FF ( E )E * T2.10（1）语法树（2）直接短语：a , ZZ 句柄：Z( L )L , ZZ ( L )Za2.11最左推导：Z=>ZaB=>BaB=>B+AaB=>A+AaB=>(+)Z*aB=>(+)ZaB*aB =>(+)+aB*aB=>(+)+aA*aB=>(+)+a(*aB=>(+)+a(*aA=>(+)+a(*a(直接短语：（，+句柄：(2.12(1) S=>iSeS=>iiSeS=>iiIeS=>iiIeIS=>iS=>iiSeS=>iiIeS=>iiIeI(2) S=>SaS=>cSaS=>cfaS=>cfafS=>cS=>cSaS=>cfaS=>cfaf(3) E=>EOE=>EOEOE=>iOEOE=>i+EOE=>i+iOE=>i+i-E=>i+i-iE=>EOE=>iOE=>i+E=>i+EOE=>i+iOE=>i+i-E=>i+i-i2.13 Z→aABZ|cCACdA→bAB|aZA|cCCB→bAB|CzbC→cZ|c习题33.1(1)确定的有限⾃动机(2)不确定的有限⾃动机(3)正规集是⼀类特殊的单词集合，正规式是正规集的描述⼯具 3.2 (1) (1|2|3|4|5|6|7|8|9|0)*(1|3|5|7|9) (2) 11(0|1)*00 3.3 证明：b *(a|b)+=｛a,b,ab,ba,aa,bb …｝ (a|b)+=｛a,b,ab,ba,aa,bb …｝ 3.4 (1)(2)DDDD3.5(1) (2)(3)3.6(1) (01|10) *(01|10)(2) (0(1|00)*)|003.7(1) Z →1AB (2)Z →ABA →(0|1)A A →0A|εA →0|1B →(0|1)B|ε B →0B B →ε3.8 r=a(a|b )*bb3.9 Z →1BB →0Z|0 Z →0Z|ε3.10 3.11DDD习题44.1 (1)若⽂法G[Z]满⾜①⽂法不含左递归②③(2)4.2(1) First(S)={a,d} First(B)={a,d,c,ε}First(A)={a,d,e,c} First(D)={a,d,ε}Follow(S)={#,a,b,d,e} Follow(B)={a,d}Follow(A)={b} Follow(D)={e,a,d,b}(2) 不是4.3 (1) 证明： First(Z)={a,b,c} Follow(S)={#,a,b,c,d} First(A)={a,b,c,d} Follow(A)={ #,a,b,c,d }First(B)={a,d,c} Follow(B)={ a,b,c,d } 是LL(1)⽂法。

编译原理作业7答案

软件学院2012秋季学期
《编译原理》第七次作业参考答案
一、证明下列文法
S → Aa | bAc | dc | bda
A → d
是LALR(1)文法但不是SLR(1)文法.
构造LR(1)自动机（没有需要合并的状态）：
没有状态存在冲突，因而是LALR(1)文法.
构造LR(0)自动机：
在状态I6，由于’a’∈FOLLOW(A)，因而对于SLR(1)分析而言，存在移进-归约，所以这一文法不是SLR(1)文法.
二、证明下列文法
S → Aa | bAc | Bc | bBa
A → d
B → d
是LR(1)文法但不是LALR(1)文法.
略.
三、（附加题，选做）类似LL(1)文法，我们很容易给出LL(k)文法的定义. 对于一个上下文无关文法，如果
递归下降分析器（recursive-descent parser）每次都可以通过向前看k个符号来确定选用哪一个产生式而不需要回溯，这一文法便称为LL(k)文法. 试构造一个无左递归且无二义的文法，使得对任意固定的k，这一文法都不是LL(k)文法.
S → A | B
A → aA | a
B → aB | b。

编译原理作业集-第七章(DOC)

第七章语义分析和中间代码产生本章要点1. 中间语言，各种常见中间语言形式；2. 说明语句、赋值语句、布尔表达式、控制语句等的翻译；3. 过程调用的处理；4. 类型检查；本章目标掌握和理解中间语言，各种常见中间语言形式；各种语句到中间语言的翻译；以及类型检查等内容。

本章重点1．中间代码的几种形式，它们之间的相互转换：四元式、三元式、逆波兰表示；3．赋值语句、算术表达式、布尔表达式的翻译及其中间代码格式；4．各种控制流语句的翻译及其中间代码格式；5．过程调用的中间代码格式；6．类型检查；本章难点1. 各种语句的翻译；2. 类型系统和类型检查；作业题一、单项选择题：1. 布尔表达式计算时可以采用某种优化措施，比如A and B用if-then-else可解释为_______。

a. if A then true else B；b. if A then B else false；c. if A then false else true；d. if A then true else false；2. 为了便于优化处理，三地址代码可以表示成________。

a. 三元式b. 四元式c. 后缀式d. 间接三元式3. 使用三元式是为了________：a. 便于代码优化处理b. 避免把临时变量填入符号表c. 节省存储代码的空间d. 提高访问代码的速度4. 表达式-a+b*(-c+d)的逆波兰式是________。

a. ab+-cd+-*；b. a-b+c-d+*；c. a-b+c-d+*；d. a-bc-d+*+；5. 赋值语句x:=-(a+b)/(c-d)-(a+b*c)的逆波兰式表示是_______。

a. xab+cd-/-bc*a+-:=；a. xab+/cd-bc*a+--:=；a. xab+-cd-/abc*+-:=；a. xab+cd-/abc*+--:=；6. 在一棵语法树中结点的继承属性和综合属性之间的相互依赖关系可以由________来描述。

编译原理第7章答案

第七章LR分析法1．已知文法A→aAd|aAb|ε判断该文法是否是SLR(1)文法，若是构造相应分析表，并对输入串ab#给出分析过程。

解：增加一个非终结符S/后，产生原文法的增广文法有：S/→AA→aAd|aAb|ε下面构造它的LR(0)项目集规范族为：02对于I0来说有FOLLOW(A)∩{a}={b,d,#}∩{a}=Φ所以在I0状态下面临输入符号为a时移进，为b,d,#时归约，为其他时报错。

对于I2来说有也有与I0完全相同的结论。

这就是说，以上的移进-归约冲突是可以解决的，因此该文法是SLR(1)文法。

其他SLR(1)分析表为：下面构造它的SLR(1)项目集规范族为：15S→a|^|(T)T→T,S|S(1)构造它的LR(0),LALR(1),LR(1)分析表。

(2)给出对输入符号串(a#和(a,a#的分析过程。

(3)说明(1)中三种分析表发现错误的时刻和输入串的出错位置有何区别。

解：(1)加入非终结符S/，方法的增广文法为：S/→SS→aS→^S→(T)T→T,ST→S下面构造它的LR(0)项目集规范族为：表7.15.1 文法的LR(0)分析表17．若包含条件语句的语句文法可缩写为：S→iSeS|iS|S;S|a其中：i代表if,e代表else,a代表某一语句。

若规定：(1)else与其左边最近的if结合(2);服从左结合试给出文法中i,e,; 的优先关系，然后构造出无二义性的LR分析表，并对输入串iiaea#给出分析过程。

解：加入S/→S产生式构造出增广文法如下：[0] S/→S[1] S→iSeS[2] S→iS[3] S→S;S[4] S→a由习惯可知，定义文法中i,e,;,a4个算符的优先关系为：a>e>i>;。

并且i与;的结合方向均为自左至右。

由上述状态项目集可见：a.状态I1存在移进-归约冲突，由于FOLLOW(S/)∩{;}={#}∩{;}=Φ,所以面临#号时应acc，面临;号时应移进。

编译原理作业题答案编译原理课后题答案

第二章高级语言的语法描述6、令文法G 6为：N →D|ND D → 0|1|2|3|4|5|6|7|8|9（1）G 6 的语言L （G 6）是什么？（2）给出句子01270127、、34和568的最左推导和最右推导。

解答：思路：由N N →→ D|ND 可得出如下推导N ＝＞＝＞ND ND ND＝＞＝＞＝＞NDD NDD NDD＝＞…＝＞＝＞…＝＞＝＞…＝＞D D n（n ＞=1=1））可以看出，N 最终可以推导出1个或多个（也可以是无穷）D ，而D D →→ 0|1|2|3|4|5|6|7|8|9可知，每个D 为0～9中的任一个数字，所以，中的任一个数字，所以，N N N 最终推导出的就是由最终推导出的就是由0～9这10个数字组成的字符串。

（1）G 6 的语言L （G 6）是由0～9这10个数字组成的字符串个数字组成的字符串,,或{0{0，，1,1,……,9}+。

(2)(2)句子句子01270127、、34和568的最左推导分别为的最左推导分别为: : N ＝＞＝＞ND ND ND＝＞＝＞＝＞NDD NDD NDD＝＞＝＞＝＞NDDD NDDD NDDD＝＞＝＞＝＞DDDD DDDD DDDD＝＞＝＞＝＞0DDD 0DDD 0DDD＝＞＝＞＝＞01DD 01DD 01DD＝＞＝＞＝＞012D 012D 012D＝＞＝＞＝＞0127 0127 N ＝＞＝＞ND ND ND＝＞＝＞＝＞DD DD DD＝＞＝＞＝＞3D 3D 3D＝＞＝＞＝＞34 34N ＝＞＝＞ND ND ND＝＞＝＞＝＞NDD NDD NDD＝＞＝＞＝＞DDD DDD DDD＝＞＝＞＝＞5DD 5DD 5DD＝＞＝＞＝＞56D 56D 56D＝＞＝＞＝＞568 568 句子01270127、、34和568的最右推导分别为的最右推导分别为: :N ＝＞＝＞ND ND ND＝＞＝＞＝＞N7N7N7＝＞＝＞＝＞ND7ND7ND7＝＞＝＞＝＞N27N27N27＝＞＝＞＝＞ND27ND27ND27＝＞＝＞＝＞N127N127N127＝＞＝＞＝＞D127D127D127＝＞＝＞＝＞0127 0127 N ＝＞＝＞ND ND ND＝＞＝＞＝＞N4N4N4＝＞＝＞＝＞D4D4D4＝＞＝＞＝＞34 34N ＝＞＝＞ND ND ND＝＞＝＞＝＞N8N8N8＝＞＝＞＝＞ND8ND8ND8＝＞＝＞＝＞N68N68N68＝＞＝＞＝＞D68D68D68＝＞＝＞＝＞568 5687、写一个文法，使其语言是奇数集，且每个基数不以0开头。

编译原理课后答案——第七章_目标代码生成

第七章目标代码生成
第七章目标代码生成
7.1 对下列四元式序列生成目标代码： T=A-B S=C+D
W=E-F
U=W/T V=U*S 其中，V是基本块出口的活跃变量，R0和R1是可用寄存器。
第七章目标代码生成【解答】简单代码生成算法依次对四元式进行翻译。
我们以四元式T=a+b为例来说明其翻译过程。汇编语言的加法指令代码形式为 ADD R, X 其中，ADD为加法指令；R为第一操作数，第一操作数必须为寄存器类型；X为第二操作数，它可以是寄存器类型，也可以是内存型的变量。ADD R,X指令的含意是：将第一操作数 R与第二操作数相加后，再将累加结果存放到第一操作数所在的寄存器中。要完整地翻译出四元式T=a+b，则可能需要下面三条汇编指令：
第七章目标代码生成此外，如果必须使用第一条指令，即第一操作数不在寄存器而是在内存中，且此时所有可用寄存器都已分配完毕，这时就要根据寄存器中所有变量的待用信息(也即引用点)来决定淘汰哪一个寄存器留给当前的四元式使用。寄存器的淘汰策略如下： (1) 如果某寄存器中的变量已无后续引用点且该变量是非活跃的，则可直接将该寄存器作为空闲寄存器使用。 (2) 如果所有寄存器中的变量在基本块内仍有引用点且都是活跃的，则将引用点最远的变量所占用寄存器中的值存放到内存与该变量对应的单元中，然后再将此寄存器分配给当前的指令使用。
第七章目标代码生成因此，本题所给四元式序列生成的目标代码如下： MOV R0, A SUB R0, C MOV R1, C ADD R1, D /*R1=S*/ /*R0=T*/
MOV S, R1 的值送内存单元S*/
MOV R1, E SUB R1, F SUB R1, R0 MUL R1, S

编译原理-第七章解析资料

中间代码中间中间代码生成器代码优化器
静态语义检查和中间代码生成器的位置
2018/10/26
TJNU-COCIE-WJW
5
第七章语义分析和中间代码产生
中间语言 7.2 说明语句 7.3 赋值语句的翻译 7.4 分情况语句 7.5 回填技术 7.6 类型检查
7.1
2018/10/26 TJNU-COCIE-WJW 6
TJNU-COCIE-WJW 28
2018/10/26
例子：语句a:=b*-c+b*-c 的三元式表示
op arg1 arg2
(0) (1) (2) (3) (4) (5)
uminus * uminus * + Assign
c b c b
(1)
(0) (2) (3) (4)
a
2018/10/26
TJNU-COCIE-WJW
例：x
+ y * z翻译成 t1 := y * z t2 := x + t1
TJNU-COCIE-WJW 16
2018/10/26
1.一般形式（续）
三地址代码是AST或DAG的线性化表示

DAG图对应的三地址代码可能比相应的AST
对应的三地址代码要优化，因为可以复用中间结果
2018/10/26
29
注意：有些三地址语句要多个三元式表示例子： x[i] := y op arg1 arg2 (0) [ ]= x i (1) := (0) y
y := x[i] op arg1 (0) =[ ] x (1) := y arg2 i (0)
2018/10/26
TJNU-COCIE-WJW

编译原理_第7章(清华大学)

+ + > - > * > / > > ( < ) > i > # <
> > > > > < > > <
* < < > > > < > > <
/ < < > > > < > > <

< < < < < < > > <
( < < < < < <
) > > > > > = > >
<
i # < > < > < > < > < > < > > < =
规定若 S a…或 S Ca… 则 # < a 若 S …a 或 S …aC 则 a > #
在 OG文法 G 中，若任意两个终结符间至多有一种算符优先关系存在，则称G 为算符优先文法(OPG)。注意：允许b>c, c>b; 不允许 b>c, b<c, b=c中任两个同时存在。 b=c 不一定 c = b。例7.1中：“（” = “）”，“）”<>“（”。
最左素短语为：T*F
T
E + T
句型T+T+i的素短语为： i
句型T+T+F的素短语为：T+T
分析程序模型
输入串#
总控程序 # 算符优先关系表

编译原理王生原课后习题第七章

编译原理模拟试卷一、选择题（每题1分，共5分）1.在编译过程中，词法分析的主要任务是什么？A.构建语法树B.将源程序分解为单词序列C.语义分析D.代码2.下列哪个不属于编译器的组成部分？A.词法分析器B.语法分析器C.代码器D.数据库管理系统3.在编译器中，中间代码的作用是什么？A.提高编译速度B.方便目标代码C.提高程序的可读性4.下列哪种语言通常被用作编译器的实现语言？A.PythonB.JavaC.C++5.在编译原理中，形式语言的主要作用是什么？A.描述程序设计语言的语法B.描述程序的语义C.描述程序的数据结构D.描述程序的算法二、判断题（每题1分，共5分）1.编译器的主要任务是将源程序转换为目标代码。

（正确/错误）2.语法分析器负责检查源程序中的语法错误。

（正确/错误）3.语义分析是在语法分析之后进行的。

（正确/错误）4.中间代码是一种与机器无关的代码。

（正确/错误）5.代码优化不会影响程序的正确性。

（正确/错误）三、填空题（每题1分，共5分）1.编译器包括____、____、____、____等组成部分。

2.在编译过程中，____负责将源程序分解为单词序列。

3.语法分析器的主要任务是构建____。

4.语义分析器负责检查____。

5.代码器负责____。

四、简答题（每题2分，共10分）1.简述编译器的工作流程。

2.解释什么是词法分析。

3.什么是语法分析？它的主要任务是什么？4.什么是语义分析？它的主要作用是什么？5.简述中间代码的作用。

五、应用题（每题2分，共10分）1.给出一个简单的C语言程序，请描述它通过编译器的过程。

2.什么是编译器的优化？请给出一个例子。

3.解释什么是编译器的错误处理。

4.什么是编译器的调试信息？它的作用是什么？5.请解释编译器的前端和后端。

六、分析题（每题5分，共10分）1.分析并解释编译器中的词法分析、语法分析和语义分析之间的关系。

2.分析并解释编译器中的中间代码和目标代码之间的关系。

编译原理习题答案,1-8章龙书第二版7.8章

第七章
习题7.2.6 ：C语言函数f的定义如下：
Int f(int x, *py, **ppz){
**ppz +=1；*py +=2；x +=3; return x+*py+**ppz;
}
变量a是一个指向b的指针；变量b是一个指向c的指针，而c是一个当前值为4的整数变量。

如果我们调用f(c,b,a),返回值是什么？
答：x是传值,而b和c是传地址方式；由函数定义可以得到：b=&c,a=&b, 而**a=**a+1=c+1=5 => c=5; *b=*b+2=c+2=7 =>c=7,**a=7;c=c+3=4+3=7
所以调用f(c,b,a)返回值是7+7+ 7=21
练习7.3.2：假设我们使用显示表来实现下图中的函数。

请给出对fib0（1）的第一次调用即将返回时的显示表。

同时指明那时在栈中的各种活动记录中保存的显示表条目
答：结果如下
第八章
练习8.2.1：假设所有的变量都存放在内存中，为下面的三地址语句生成代码：
5）下面的两个语句序列
X=b*c
Y=a+X
答：生成的代码如下
练习8.5.1：为下面的基本块构造构造DAG
d=b*c
e=a+b
b=b*c
a=e-d
答：DAG如下
练习8.6.1：为下面的每个C语言赋值语句生成三地址代码1)x=a+b*c
答：生成的三地址代码如下。

第5-7章作业(含答案)编译原理

第5-7章课后作业（含答案）1、将文法G[S] 改写为等价的G′[S]，使G′[S]不含左递归和左公共因子。

3、已知文法G[S]：S→(A)│a│b A→AcS│S 构造文法的算符优先矩阵，并判断该文法是否是算符优先文法。

【解】：①拓展该文法：S’→#S# S→(A)│a│b A→AcS│S②计算FIRSTVT与③计算算符优先关系：# =# ( = )# < FIRSTVT(S) ( < FIRSTVT(A) c< FIRSTVT(S)LASTVT(S) > # LASTVT(A) > ) LASTVT(A) > c④构造算符优先矩阵⑤因为该文法G为2型文法，且不含空产生式，没有形如 U …VW…的产生式，其中V,W∈V所以 G 为算符文法；又因为G 中任意两个终结符间至多有一种算N，符优先关系存在(算符优先矩阵无冲突，见上表)，所以G 为算符优先文法。

4、课后习题P122：4(2)已知文法：S→S;G|G G→G(T)|H H→a|(S) T→T+S|S求句型a(T+S);H;(S) 的短语、直接短语、句柄、素短语与最左素短语。

【解】：①该句型的对应的语法树如下：②短语： a T+S H (S) a(T+S);H a(T+S);H;(S)直接短语： a T+S H (S)句柄：a素短语： a T+S (S)最左素短语：a5. 给定文法G[A]：A→(A)│a，构造出该文法的LR(1)分析表。

编译原理课后习题答案-清华大学-第二版

《编译原理》课后习题答案第二章
第 2 章 PL/0 编译程序的实现
第1题
PL/0 语言允许过程嵌套定义和递归调用，试问它的编译程序如何解决运行时的存储管理。
答案： PL/0 语言允许过程嵌套定义和递归调用，它的编译程序在运行时采用了栈式动态存储
管理。（数组 CODE 存放的只读目标程序，它在运行时不改变。）运行时的数据区 S 是由解释程序定义的一维整型数组，解释执行时对数据空间 S 的管理遵循后进先出规则，当每个过程(包括主程序)被调用时，才分配数据空间，退出过程时，则所分配的数据空间被释放。应用动态链和静态链的方式分别解决递归调用和非局部变量的引用问题。
(2) 扩充 repeat 语句的语法图为：
EBNF 的语法描述为：〈重复语句〉::= repeat〈语句〉{；〈语句〉}until〈条件〉
《编译原理》课后习题答案第三章
第 3 章文法和语言
第1题
文法 G＝({A,B,S},{a,b,c},P,S)其中 P 为： S→Ac|aB A→ab B→bc 写出 L(G[S])的全部元素。
注意：如果问编译程序有哪些主要构成成分，只要回答六部分就可以。如果搞不清楚，就回答八部分。第3题
何谓翻译程序、编译程序和解释程序？它们三者之间有何种关系？答案：
翻译程序是指将用某种语言编写的程序转换成另一种语言形式的程序的程序，如编译程序和汇编程序等。
编译程序是把用高级语言编写的源程序转换（加工）成与之等价的另一种用低级语言编写的目标程序的翻译程序。
地址，用以过程执行结束后返回调用过程时的下一条指令继续执行。在每个过程被调用时在栈顶分配 3 个联系单元，用以存放 SL，DL， RA。
第5题
PL/0 编译程序所产生的目标代码是一种假想栈式计算机的汇编语言，请说明该汇编语言中下列指令各自的功能和所完成的操作。（１） INT 0 A （２） OPR 0 0 （３） CAL L A

编译原理第7章习题与答案

第7章习题7-1 设有如下的三地址码（四元式）序列：read NI:=NJ:=2L1 : if I≤J goto L3L2 : I:=I-Jif I>J goto L2if I=0 goto L4J:=J+1I:=Ngoto L1L3 : Print ′YES′haltL4 : Print ′NO′halt试将它划分为基本块，并作控制流程图。

7-2 考虑如下的基本块：D:=B*CE:=A+BB:= B*CA:=E+D(1) 构造相应的DAG；(2) 对于所得的DAG，重建基本块，以得到更有效的四元式序列。

7-3 对于如下的两个基本块：(1) A:=B*CD:=B/CE:=A+DF:=2*EG:=B*CH:=G*GF:=H*GL:=FM:=L(2) B:=3D:=A+CE:=A*CF:=E+DG:=B*FH:=A+CI:=A*CJ:=H+IK:=B*5L:=K+JM:=L分别构造相应的DAG，并根据所得的DAG，重建经优化后的四元式序列。

在进行优化时，须分别考虑如下两种情况：（ⅰ）变量G、L、M在基本块出口之后被引用；（ⅱ）仅变量L在基本块出口之后被引用。

7-4 对于题图7-4所示的控制流程图：(1) 分别求出它们各个结点的必经结点集；(2) 分别求出它们的各个回边；(3) 找出各流程图的全部循环。

7-5 对于如下的程序：I:=1read J,KL: A:=K*IB:=J*IC:=A*Bwrite CI:=I+1if A<100 goto Lhalt试对其中的循环进行可能的优化。

第8章习题答案7-1 解：划分情况及控制流程如答案图7-1所示：答案图7-1 将四元式序列划分为基本块7-2 解：(1) 相应的DAG如答案图7-2所示。

答案图7-2 DAG(2) 优化后的代码为：D:=B*CE:=A+BB:=DA:=E+D7-3 解：(1) 相应的DAG如答案图7-3-(1)所示。

若只有G、L、M在出口之后被引用，则优化后的代码为：G:=B*CH:=G*GL:=H*GM:=L若只有L在出口之后被引用，则代码为：G:=B*CH:=G*GL:=H*G(2) 相应的DAG如答案图7-3-(2)所示。

编译原理第七章习题解答

第七章习题答案1．拓广该文法：(0) S→A (1)A→aAd (2)A→aAb (3)A→ε构造LR(0)项目集规范族如下：由图可知，在项目集I0、I2中存在移进-归约冲突，该文法不是LR(0)文法。

在I0中，移进符号为a，而归约符号为Follow(A)={b,d,#}，交集为空，可以解决冲突；在I2中，移进符号为a，而归约符号为Follow(A)={b,d,#}，交集为空，可以解决冲突。

因此，该文法是SLR(1)文法。

输入串ab#的分析过程7．拓广该文法：(0) S’→S (1) S→A (2)A→Ab (3)A→bBa(4)B→aAc (5)B→a (6)B→aAb构造LR(0)项目集规范族如下：由图可知，在项目集I2、I6中存在移进-归约冲突，该文法不是LR(0)文法。

Follow(S’)={#}Follow(S)=Follow(S’)={#}Follow(A)=Follow(S)∪{b,c}={b,c,#}Follow(B)={a}在I2中，移进符号为b，归约符号为Follow(S)={#}，交集为空，可以解决冲突；在I6中，移进符号为b，归约符号为Follow(B)={a}，交集为空，可以解决冲突。

因此，该文法为SLR(1)文法。

8．拓广该文法：(0) S’→S (1) S→A$ (2)A→BaBb(3)A→DbDa (4)B→ε(5)D→ε构造LR(0)项目集规范族如下：由图可知，在项目集I0中存在归约-归约冲突，该文法不是LR(0)文法。

Follow(S’)={#}Follow(S)=Follow(S’)={#}Follow(A)= {$}Follow(B)={a,b}Follow(D)={a,b}在I 0中，归约项目B→·的归约符号集为Follow(B)={a,b}，归约项目D→·的归约符号集为{a,b}，交集不为空，因此，该文法不是SLR(1)文法。

构造LR(1)项目集规范族如下：由图可知，不存在任何冲突，该文法是LR(1)文法。

（完整版）编译原理课后习题答案

（完整版）编译原理课后习题答案第一章1．典型的编译程序在逻辑功能上由哪几部分组成？答：编译程序主要由以下几个部分组成：词法分析、语法分析、语义分析、中间代码生成、中间代码优化、目标代码生成、错误处理、表格管理。

2. 实现编译程序的主要方法有哪些？答：主要有：转换法、移植法、自展法、自动生成法。

3. 将用户使用高级语言编写的程序翻译为可直接执行的机器语言程序有哪几种主要的方式？答：编译法、解释法。

4. 编译方式和解释方式的根本区别是什么？答：编译方式：是将源程序经编译得到可执行文件后，就可脱离源程序和编译程序单独执行，所以编译方式的效率高，执行速度快；解释方式：在执行时，必须源程序和解释程序同时参与才能运行，其不产生可执行程序文件，效率低，执行速度慢。

第二章1.乔姆斯基文法体系中将文法分为哪几类？文法的分类同程序设计语言的设计与实现关系如何？答：1）0型文法、1型文法、2型文法、3型文法。

2）2. 写一个文法，使其语言是偶整数的集合，每个偶整数不以0为前导。

答：Z→SME | BS→1|2|3|4|5|6|7|8|9M→ε | D | MDD→0|SB→2|4|6|8E→0|B3. 设文法G为：N→ D|NDD→ 0|1|2|3|4|5|6|7|8|9请给出句子123、301和75431的最右推导和最左推导。

答：N?ND?N3?ND3?N23?D23?123N?ND?NDD?DDD?1DD?12D?123N?ND?N1?ND1?N01?D01?301N?ND?NDD?DDD?3DD?30D?301N?ND?N1?ND1?N31?ND31?N431?ND431?N5431?D5431?7 5431N?ND?NDD?NDDD?NDDDD?DDDDD?7DDDD?75DDD?754 DD?7543D?75431 4. 证明文法S→iSeS|iS| i是二义性文法。

答：对于句型iiSeS存在两个不同的最左推导：S?iSeS?iiSesS?iS?iiSeS所以该文法是二义性文法。

1、下载文档前请自行甄别文档内容的完整性，平台不提供额外的编辑、内容补充、找答案等附加服务。
2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
3、如文档侵犯您的权益，请联系客服反馈,我们会尽快为您处理(人工客服工作时间：9:00-18:30)。

第7 章 LR 分析
第1 题
已知文法
A→aAd|aAb|ε
判断该文法是否是SLR(1)文法，若是构造相应分析表，并对输入串ab#给出分析过程。

答案：
文法：
A→aAd|aAb|ε
拓广文法为G′，增加产生式S′→A
若产生式排序为：
0 S' →A
1 A →aAd
2 A →aAb
3 A →ε
由产生式知：
First (S' ) = {ε,a}
First (A ) = {ε,a}
Follow(S' ) = {#}
Follow(A ) = {d,b,#}
G′的LR(0)项目集族及识别活前缀的DFA 如下图所示：
所以在I、I中的移进-归约冲突可以由Follow 集解决，所以G 是SLR(1)文法。

2 0构造的SLR(1)分析表如下：
分析表SLR(1)的1 题目
是文法的句子。

ab 分析成功，说明输入串
第2 题
若有定义二进制数的文法如下：
S→L·L|L
L→LB|B
B→0|1
(1) 试为该文法构造LR 分析表，并说明属哪类LR 分析表。