大三下編譯最終作業(yè)

1、第8章作業(yè)第8章作業(yè) 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） 可優(yōu)化為：7（-, T4, T6, T7）3采用語法制導翻譯思想，表達式E的“值”描述如下：產(chǎn)生式語義動作（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的語法樹并在各結(jié)點上注明語義值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下列文法生成一種表達式文法。其意義為，將算術(shù)運算符“+”施用于整數(shù)或?qū)嵆?shù)，只有當兩個整數(shù)相加時，結(jié)果類型才是整數(shù)

6、，否則為實數(shù)。EE+T | TTn. n | n（1）給出語法制導翻譯的語義規(guī)則，其決定每個子表達式的類型（2）給出語法制導翻譯的語義規(guī)則，其不僅決定每個子表達式的類型，并且將中綴表達式的遞波蘭表示給出。解：（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