大三下编译最终作业

1、第8章作业第8章作业 P188页（旧书） P202新书1给出下面表达式的递波兰表示（1）a*（-b+c） 答：abc+*（2）A（CD）ACD（3）a+b*（c+d/e）abcde/+*+（4）（AB）（CD）ABCD（5）-a+b*（-c+d）abcd+*+（6）（AB）（CDE）ABCDE（7）if（x+y）*z=0 then S:=（a+b）*c else S:=a*b*c答：xy+z*0:=P1JFS ab+c*:=P2JPS ab*c*:=P1 P22请将表达式 -(a+b）*（c+d）-（a+b+c）分别表示成三元式、间接三元式和四元式序列解：三元式序列 间接三元式序列（1）（2）

2、（1）（2）（3）（4）（1）（5）（6）（2）（, (1), _）（1）（+, a, b）（3）（+, c, d）（2）（, (1), _）（4）（*, (2), (3)）（3）（+, c, d）（5）（+, a, b）（4）（*, (2), (3)）（6）（+, (5), c）（5）（+, (1), c）（7）（-, (4), (6)）（6）（-, (4), (5)）四元式序列1（+, a, b, T1）2（, T1,_, T2）3（+, c, d, T3）4（*, T2, T3, T4）5（+, T1, c, T55（+, T1, c, T5）6（-, T4, T5, T6）6（+, T

3、5, c, T6） 可优化为：7（-, T4, T6, T7）3采用语法制导翻译思想，表达式E的“值”描述如下：产生式语义动作（0）SEprint E.value（1）EE1+E2E. val=E1. val+E2.val（2）EE1*E2E. val=E1.val*E2.val（3）E（E1）E. val=E1.val （4）EnE. val=n. val如果采用LR分析法，给出表达式（5*4+8）*2的语法树并在各结点上注明语义值val解： S(56)(56)(56)(56)E(28)(2)(28)(2)E1 * E2(28)(28)（ E ） 2(8)(20)(8)(20)E1 + E2

4、(4)(5)(4)(5)E1 * E2 85 44假如习题3中表达式E的“值”有两种类型：整型和实型，语义处理增加“类型匹配检查”，请给出语义描述解：（0）SE print E. val（1）EE1+E2 if（E1. type= =int & E2. type= = int）E. type=int; E. val=E1. val+E2. valelse if (E1. type= =real & E2. real= =real)E. type=real; E. val=E1. val+E2. valelse error;（2）EE1*E2 if（E1. type= =int & E2. ty

5、pe= =int）E. type=int; E.val=E1. val*E2. valelse if（E1. type= =real & E2. type= =real）E. type=real; E.val=E1. val*E2. valelse error;（3）E（E1） E. type=E1. typeE. val=E1. val（4）En P=lookup (n)if Pnil thenE. type=n. typeE. val=n. lexvalelse error;6下列文法生成一种表达式文法。其意义为，将算术运算符“+”施用于整数或实常数，只有当两个整数相加时，结果类型才是整数

6、，否则为实数。EE+T | TTn. n | n（1）给出语法制导翻译的语义规则，其决定每个子表达式的类型（2）给出语法制导翻译的语义规则，其不仅决定每个子表达式的类型，并且将中缀表达式的递波兰表示给出。解：（1）EE1+T if（E1. type= =real）|（T. type= =real）E. type=real;elseE. type=int;ET E. type=T. typeTn. n T. type=realTn T. type=int（2）EE1+T E. place=new type;if（E1. type= =real & T. type= =real）gen (E. p

7、lace, E1. place, T. place, +r, := )E. type=realelse if（E1. type= =int & T. type= =int）gen (E. place, E1. place, T. place, +i, :=)E. type=intelse if (E1. type= =int)t=newtemp;gen (t, E1. place, itr, :=);gen (E. place, t, T. place, +r, :=);E. type=realelse t=newtemp;gen (t, T. place, itr, :=)gen (E. place, E1. place, t, +r, :=);E. type=r