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

原创已于 2023-06-25 19:39:10 修改 · 1k 阅读

4 ·

CC 4.0 BY-SA版权

文章标签：

#pascal

于 2023-06-07 17:23:05 首次发布

编译原理专栏收录该内容

8 篇文章

订阅专栏

1

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

$a * (- b + c)$

ab-c+*

$a + b * (c + d / e)$

abcde/+*+

$- a + b * (- c + d)$

a - b c - d + * +

$D)not\ A\ or\ not\ (C\ or\ not\ D)$

A not C D not or not or

$D)(A\ and\ B)\ or\ (not\ C\ or\ D)$

A B and C not D or or

$E)(A\ or\ B)\ and\ (C\ or\ not\ D\ and\ E)$

A B or C D not E and or and

$a↑b↑cif\ (x + y)*z = 0\ then\ (a+b)↑c\ else\ a↑b↑c$

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

4

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

$A := B * (- 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→idE\rightarrow 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→idE\rightarrow id$
11	#id:=E*(E	+D)#	$E→−EE\rightarrow -E$	$T_1:=-C$
12	#id:=E*(E+	D)#
13	#id:=E*(E+id	)#
14	#id:=E*(E+E	)#	$E→idE\rightarrow id$
15	#id:=E*(E	)#	$E→E1+E2E\rightarrow E_1+E_2$	$T_2:=T_1+D$
16	#id:=E*(E)	#
17	#id:=E*E	#	$E→(E)E\rightarrow (E)$
18	#id:=E	#	$E→E1∗E2E\rightarrow E_1*E_2$	$T_3：=B*T_2$
19	#S	#	$S→id:=ES\rightarrow 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
$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}$

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

$ϵ\epsilon$

改写bool式的语义动作

$ϵ\epsilon$

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

设计翻译模式确定表达式E和表L的类型
$\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\}$