计算机网络体系结构作业参考答案

作业参考答案(meter 分享)第二章 高级语言及其语法描述6、（1）L （G 6）={0,1,2,......,9}+（2）最左推导：N=>ND=>NDD=>NDDD=>DDDD=>0DDD=>01DD=>012D=>0127 N=>ND=>DD=>3D=>34N=>ND=>NDD=>DDD=>5DD=>56D=>568 最右推导：N=>ND =>N7=>ND7=>N27=>ND27=>N127=>D127=>0127 N=>ND=>N4=>D4=>34N=>ND=>N8=>ND8=>N68=>D68=>568 7、Ｇ：S →ABC | AC | CA →1|2|3|4|5|6|7|8|9B →BB|0|1|2|3|4|5|6|7|8|9C →1|3|5|7|98、（1）最左推导：E=>E+T=>T+T=>F+T=>i+T=>i+T*F=>i+F*F=>i+i*F=>i+i*iE=>T=>T*F=>F*F=>i*F=>i*(E)=>i*(E+T)=>i*(T+T)=>i*(F+T)=>i*(i+T)=>i*(i+F)=>i*(i+i) 最右推导：E=>E+T=>E+T*F=>E+T*i=>E+F*i=>E+i*i=>T+i*i=>F+i*i=>i+i*iE=>T=>T*F=>T*(E)=>T*(E+T)=>T*(E+F)=>T*(E+i)=>T*(T+i)=>T*(F+i)=>T*(i+i)=>F*(i+i)=>i*(i+i) (2)9、证明：该文法存在一个句子iiiei 有两棵不同语法分析树，如下所示，因此该文法是二义的。

11、T F iF iFiF i T F i F iS i G1: aAb|ab cB|εG2: AB aA|ε B →bBc|bc G3:AA aAb|G4: S →1S0|A A →0A1|ε第3章 词法分析第4章语法分析——自上而下分析 1、S →a|^|(T) T →T,S|S (1)消除左递归S →a|^|(T) T →ST ’T ’→,ST ’|ε 递归下降子程序：该文法是LL(1)的： 方法一（利用概念）：a. 不含左递归；b. 候选终结首符集没有交集；c. ε∈first(T ’),follow(T ’)∩first(T ’)={} 方法二（指出预测分析表没有多重入口） 预测分析表如下： void S() {if (sym==’a ’) advanced(); else if (sym==’^’)advanced(); else if (sym==’(‘) {advanced();T();if (sym==’)’) advanced(); else error(); }else error(); } void T() { S(); T ’(); } void T ’() { if (sym==’,’){advanced(); S(); T ’();} else if (sym in follow(T ’)) else error(); }2、文法：E→TE’E’→+E|εT→FT’T’→T|εF→PF’F’→*F’|εP→(E)|a|b|^4、文法：Expr→-Expr|(Expr)|VarExprTailExprTail→-Expr|εVar→id VarTailVarTail→(Expr)|ε(1)构造LL(1)分析表：第5章语法分析——自下而上分析 1、文法：E →E+T|T T →T*F|F F →(E)|i证明E+T*F 是它的一个句型，并指出该句型所有短语、直接短语和句柄。

解：E+T*F 是它的一个句型，因为存在下面语法树：短语：T*F, E+T*F 直接短语：T*F 句柄：T*F 2、文法： S →a|^|(T) T →T,S|S(1)给出(a,(a,a))和(((a,a),^,(a)),a)的最左和最右推导；(2)指出(((a,a),^,(a)),a)的规范归约以及每一步的句柄，根据这个规范归约，给出“移进-归约”过程，并给出它的语法树自下而上构造过程。

解： (1)略(2)①规范句型及每一步的句柄（用下划线标示）：②“移进-规约”过程： 步骤分析栈输入串动作（1） # (((a,a),^,(a)),a)# 预备 （2） #( ((a,a),^,(a)),a)# 移进 （3） #(( (a,a),^,(a)),a)# 移进 （4） #((( a,a),^,(a)),a)# 移进 （5） #(((a ,a),^,(a)),a)# 移进 （6） #(((S ,a),^,(a)),a)# 归约 （7） #(((T ,a),^,(a)),a)# 归约E E + T T * F（8）#(((T, a),^,(a)),a)# 移进（9）#(((T,a ),^,(a)),a)# 移进（10）#(((T,S ),^,(a)),a)# 归约（11）#(((T ),^,(a)),a)# 归约（12）#(((T) ,^,(a)),a)# 移进（13）#((S ,^,(a)),a)# 归约（14）#((T ,^,(a)),a)# 归约（15）#((T, ^,(a)),a)# 移进（16）#((T,^ ,(a)),a)# 移进（17）#((T,S ,(a)),a)# 归约（18）#((T ,(a)),a)# 归约（19）#((T, (a)),a)# 移进（20）#((T,( a)),a)# 移进（21）#((T,(a )),a)# 移进（22）#((T,(S )),a)# 归约（23）#((T,(T )),a)# 归约（24）#((T,(T) ),a)# 移进（25）#((T,S ),a)# 归约（26）#((T ),a)# 归约（27）#((T) ,a)# 移进（28）#(S ,a)# 归约（29）#(T ,a)# 归约（30）#(T, a)# 移进（31）#(T,a )# 移进（32）#(T,S )# 归约（33）#(T )# 归约（34）#(T) # 移进（35）#S # 归约（36）#S # 接受③语法树的自下而上的构造过程：3、（1）计算练习2文法G2的FIRSTVT和LASTVT；（2）计算G2的优先关系，G2是一个算符优先文法吗？（3）给出输入串(a,(a,a))的算符优先分析过程。

解：因为：1）该文法不含ε产生式；2）该文法是算符文法；3）由优先关系表可以看出，任何终结符之间的优先关系之多满足一种优先关系；所以该文法是算符优先文法。

（3）步骤分析栈输入串动作原因0 # (a,(a,a))# 预备1 #( a,(a,a))# 移进#<(2 #(a ,(a,a))# 移进(<a3 #(S ,(a,a))# 归约a>,4 #(S, (a,a))# 移进(>,5 #(S,( a,a))# 移进,<(6 #(S,(a ,a))# 移进(<a7 #(S,(S ,a))# 归约a>,8 #(S,(S, a))# 移进(<,9 #(S,(S,a ))# 移进,<a10 #(S,(S,S ))# 归约,>)11 #(S,(T ))# 归约,>)12 #(S,(T) )# 移进(=)13 #(S,S )# 归约)>)14 #(T )# 归约,>)15 #(T) # 移进(=)16 #S # 归约)>#17 #S# 分析成功算符优先文法习题第七章While A<B and C<D do if A=1 then C:=C+1 else A:=A+2；翻译出的四元式：100：(j<,A,B,102)101：（j, -, -, 112）102：(j<,C,D,104)103：（j, -, -, 112）104：（j=, A, 1, 106）105：（j, -, -, 109）106：（+,C,1, T1）107：（:=, T1, -, C）108：（j, -, -, 100）109：（+, A, 2, T2）110：（:=, T2, -, A）111：(j, -, -, 100)112：控制结构翻译为四元式的翻译模式1. L→L1; M S{ backpatch(L1.nextlist, M.quad); L.nextlist:=S.nextlist }2. M→ { M.quad:=nextquad }3. S→begin L end{ S.nextlist:=L.nextlist }4. S→A{ S.nextlist:=makelist( ) }5. L→S{ L.nextlist:=S.nextlist }6. S→if E then M S1{backpatch(E.truelist,M.quad);S.nextlist:=merge(E.falselist, S1.nextlist) }5. L→S{ L.nextlist:=S.nextlist }6. S→if E then M S1 { backpatch(E.truelist, M.quad); S.nextlist:=merge(E.falselist, S1.nextlist) }7. S→if E then M1 S1 N else M2 S2{ backpatch(E.truelist, M1. quad);backpatch(E.falselist, M2.quad);S.nextlist:=merge(S1.nextlist, N.nextlist, S2.nextlist) }8. N→ { N.nextlist:=makelist(nextquad); emit(‘j,－,－,－’) }9. S→while M1 E do M2 S1{ backpatch(S1.nextlist, M1.quad);backpatch(E.truelist, M2.quad);S.nextlist:=E.falselist; emit(‘j,－,－,’ M1.quad) }10. E→E1 or M E2{ backpatch(E1.falselist, M.quad);E.truelist:=merge(E1.truelist, E2.truelist); E.falselist:=E2.falselist }11. E→E1 and M E2{ backpatch(E1.truelist, M.quad);E.truelist:=E2.truelist; E.falselist:=merge(E1.falselist,E2.falselist) }12. E→not E1{ E.truelist:=E1.falselist; E.falselist:=E1.truelist}13. E→(E1){ E.truelist:=E1.truelist; E.falselist:=E1. falselist}14. E→id1 relop id2 { E.truelist:=makelist(nextquad); E.falselist:=makelist(nextquad+1);emit(‘j’ relop.op ‘,’ id 1.place ‘,’ id 2.place‘,’‘0’);emit(‘j, －, －, 0’) }15. E→id{ E.truelist:=makelist(nextquad); E.falselist:=makelist(nextquad+1);emit(‘jnz’ ‘,’ id .place ‘,’ ‘－’ ‘,’‘0’)；emit(‘ j, -, -, 0’) } 16. S→id:=E{ p:=lookup();if p nil then emit( ‘:=’ ‘,’E.place‘,’ ‘-’ ‘,’p)else error }17. E→E1+E2 { E.place:=newtemp;emit(‘+’ ‘,’ E1.place‘,’ E2.place‘,’E.place)}18. E→E1*E2 { E.place:=newtemp;emit(‘*’ ‘,’ E1.place‘,’ E2.place‘,’E.place)}19. E→idE.place:=id.place;。