编译原理个人作业--第七章——基于 编译原理 国防工业出版社 第三版

1

给出下面表达式的逆波兰后缀

$$a\ast (-b+c)$$

ab-c+*

$$a+b\ast (c+d/e)$$

abcde/+*+

$$-a+b\ast (-c+d)$$

a - b c - d + * +

$$notAornot(CornotD)$$

A not C D not or not or

$$(AandB)or(notCorD)$$

A B and C not D or or

$$(AorB)and(CornotDandE)$$

A B or C D not E and or and

$$if(x+y)\ast z=0then(a+b)\uparrow celsea\uparrow b\uparrow c$$

x y + z * 0 = a b + c ↑ a b c ↑ ↑ if-then-else

4

写出下面的赋值语句的自下而上语法制导翻译过程和三地址代码

$$A:=B\ast (-C+D)$$

步骤	规约	输入串	产生式	三地址代码
1	#	A:=B*(-C+D)#
2	#id	:=B*(-C+D)#
3	#id:=	B*(-C+D)#
4	#id:=id	*(-C+D)#
5	#id:=E	*(-C+D)#	$E\to id$
6	#id:=E*	(-C+D)#
7	#id:=E*(	-C+D)#
8	#id:=E*(-	C+D)#
9	#id:=E*(-id	+D)#
10	#id:=E*(-E	+D)#	$E\to id$
11	#id:=E*(E	+D)#	$E\to -E$	$T_1:=-C$
12	#id:=E*(E+	D)#
13	#id:=E*(E+id	)#
14	#id:=E*(E+E	)#	$E\to id$
15	#id:=E*(E	)#	$E\to E_1+E_2$	$T_2:=T_1+D$
16	#id:=E*(E)	#
17	#id:=E*E	#	$E\to (E)$
18	#id:=E	#	$E\to E_1\ast E_2$	$T_3：=B\ast T_2$
19	#S	#	$S\to id:=E$	$A：=T_3$

5

7.3.2
将赋值语句翻译为三地址代码

$$A:[i,j]:=B[i,j]+C[A[k,j]]+d[i+j]$$

设A, B为m*n的数组
C和D大小为n
数据宽度为4 low默认为d
$$\begin{gathered} T_1:=i\times n \\ {T}_1:=T_1+j \\ {T}_2:=A-4d(n+1) \\ {T}_3:=4\times T_1 \\ {T}_4:=i\times n \\ {T}_4:=T_4+j \\ {T}_5:=B-4d(n+1) \\ {T}_6:=4\times T_4 \\ {T}_7:=T_5[T_6] \\ {T}_8:=k\times n \\ {T}_8:=T_8+j \\ {T}_9:=A-4d(n+1) \\ {T}_{10}:=4\times T_8 \\ {T}_{11}:=T_9[T_{10}] \\ {T}_{12}:=C-4d \\ {T}_{13}:=4\times T_{11} \\ {T}_{14}:=T_{12}[T_{13}] \\ {T}_{15}:=T_7+T_{14} \\ {T}_{16}:=i+j \\ {T}_{17}:=D-4d \\ {T}_{18}:=4\times T_{16} \\ {T}_{19}:=T_{17}[T_{18}] \\ {T}_{20}:=T_{15}+T_{19} \\ {T}_2[T_3]:=T_{20} \end{gathered}$$

6

7.4.2 写出A or (B and not (C or D))的四元式序列

标号	四元式
100	( jnz, A, -, 0 )
101	( j, -, -, 102 )
102	( jnz, B, -, 104 )
103	( j, -, -, 0 )
104	( jnz, C, -, 103 )
105	( j, -, -, 106 )
106	( jnz, D, -, 104 )
107	( j, -, -, 100 )

真出口107与100(形成truelist）
假出口 103 104 106(形成了falselist链子）

7

7.5.1 翻译成四元式

while A < C and B < D do
if A = 1 then C := C + 1 else
    while A <= D do A := A + 2

标号	四元式
100：	（j<，A，C，102）
101：	（j，-，-，115）
102：	（j<，B，D，104）
103：	（j，-，-，115）
104：	（j=，A，‘1’，106）
105：	（j，-，-，109）
106：	（+，C，‘1’，T1）
107：	（:=，T1，-，C）
108：	（j，-，-，100）
109：	（j≤，A，D，111）
110：	（j，-，-，100）
111：	（+，A，‘2’，T2）
112：	（:=，T2，-，A）
113：	（j，-，-，109）
114：	（j，-，-，100）
115：

8

改写bool式的语义动作

$ϵ$

改写bool式的语义动作

$ϵ$

E → E1 or M E2 { backpatch(E1.flist, M.quad);
        E.tlist := merge(E1.tlist, M.tlist, E2.tlist);
        E.flist := E2.flist }
E → E1 and N E2 { backpatch(E1.tlist, N.quad);
        E.flist := merge(E1.flist, E2.flist);
        E.tlist := E2.tlist }

E → id1 relop id2 { E.tlist := NULL;
                    E.flist := makelist(nextquad);
                    if relop.op = ‘>’ then emit(‘j<=’’,’ id1.place’,’id2.place’,’’0’);
                    else if relop.op = ‘>=’ then emit(‘j<’’,’ id1.place’,’id2.place’,’’0’);
                    else if relop.op = ‘<’ then emit(‘j>=’’,’ id1.place’,’id2.place’,’’0’);
                    else if relop.op = ‘<=’ then emit(‘j>’’,’ id1.place’,’id2.place’,’’0’);
                    else if relop.op = ‘=’ then emit(‘j<>’’,’ id1.place’,’id2.place’,’’0’);
                    else if relop.op = ‘<>’ then emit(‘j=’’,’ id1.place’,’id2.place’,’’0’);
                    else error }

M → ϵ {
    emit('j, -, -, 0');
    M.quad = nextquad;
}

N → ε { N.quad = nextquad;}

其余内容和原来相同

其余内容和原来相同

11

C的for语句

$$for(E_1;E_2;E_3)S$$

意义如下

E1;
while(E2) do begin
    S;
    E3;
end

构造属性文法和翻译模式，把for语句翻译为三地址代码

S → ET{
    T.next = S.next;
    S.code = E.code || T.code;
}

T → while E do F{
    T.begin = newlabel;
    E.true = newlabel;
    E.false = T.next;
    F.next = T.begin;
    T.code = gen(T.begin ':') || E.code || gen(E.true ':') || F.code || gen('goto' T.begin)
}

F → SE {
    E.next = F.next;
    F.code = S.code || E.code
}

S → E{
    E.next = S.next;
    S.code = E.code
}

15

文法包含了对文字串表的定义
$$\begin{gathered} P\to D;E \\ D\to D;D|id:T \\ T\to listofT|char|integer \\ E\to (L)|literal|num|id \\ L\to E,L|E \end{gathered}$$

设计翻译模式确定表达式E和表L的类型
P → D ; E D → D ; D D → i d : T { a d d t y p e ( i d . e n t r y , T . t y p e ) } T → c h a r { T . t y p e = c h a r } T → i n t e g e r { T . t y p e = i n t e g e r } T → l i s t   o f   T 1 { T . t y p e = l i s t ( T 1 . t y p e ) } E → ( L ) { E . t y p e = l i s t ( L . t y p e ) } E → l i t e r a l { E . t y p e = c h a r } E → n u m { E . t y p e = i n t e g e r } E → i d { E . t y p e = s e a r c h ( i d . e n t r y ) } L → E , L 1 { i f ( E . t y p e = L 1 . t y p e ) t h e n ( L . t y p e = E . t y p e ) e l s e ( L . t y p e = e r r o r ) } L → E { L . t y p e = E . t y p e } P \rightarrow D;E\\ D\rightarrow D;D \\ D\rightarrow id:T \quad \{addtype(id.entry, T.type)\}\\ T\rightarrow char\quad\{T.type = char\}\\ T\rightarrow integer\quad\{T.type = integer\}\\ T\rightarrow list\ of\ T_1\quad\{T.type = list(T_1.type)\}\\ E\rightarrow (L)\quad\{E.type = list(L.type)\}\\ E\rightarrow literal\quad \{E.type=char\}\\ E\rightarrow num\quad \{E.type=integer\}\\ E\rightarrow id\quad \{E.type=search(id.entry)\}\\ L\rightarrow E, L_1\quad \{if(E.type = L_1.type) \\ then (L.type = E.type) else (L.type = error)\}\\ L\rightarrow E\{L.type = E.type\} P→D;ED→D;DD→id:T{addtype(id.entry,T.type)}T→char{T.type=char}T→integer{T.type=integer}T→list of T1​{T.type=list(T1​.type)}E→(L){E.type=list(L.type)}E→literal{E.type=char}E→num{E.type=integer}E→id{E.type=search(id.entry)}L→E,L1​{if(E.type=L1​.type)then(L.type=E.type)else(L.type=error)}L→E{L.type=E.type}