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

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

扫描二维码关注公众号，回复： 15330706 查看本文章

$$(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 IE$	$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
$$\begin{gathered} T_1:=i\times n \\ {T}_1:=T_1+j \\ {T}_2:=A-4(n+1)d \\ {T}_3:=4\times T_1 \\ {T}_4:=i\times n \\ {T}_4:=T_4+j \\ {T}_5:=B-4(n+1) \\ {T}_6:=4\times T_4 \\ {T}_7:=T_5[T_6] \\ {T}_8:=K\times n \\ {T}_8:=T_8+1 \\ {T}_9:=A-4(n+1) \\ {T}_{10}:=4\times T_8 \\ {T}_{11}:=T_9[T_{10}] \\ {T}_{12}:=C-4 \\ {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-4 \\ {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, -, 0 )
105	( j, -, -, 106 )
106	( jnz, D, -, 0 )
107	( j, -, -, 0 )

真出口107与100
假出口 103 104 106

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式的语义动作

$ϵ$

E → id1 < id2{
    E.truelist := makelist(nextquad + 1);
    E.falselist := makelist(nextquad);
    emit('j >=' ','  id1.place ',' id2.place ',' '0');
}

E → id1 > id2{
    E.truelist := makelist(nextquad + 1);
    E.falselist := makelist(nextquad);
    emit('i <=' ','  id1.place ',' id2.place ',' '0');
}

M → ϵ {
    emit('j, -, -, 0');
    M.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 { T . t y p e = l i s t ( T . 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\quad\{T.type = list(T.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 T{ T.type=list(T.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}