例1:a:=Xb,c]+d的翻译 kA[l: 10, 1: 20L W=4, CONSPART-X V place=a Voffset=null V1: -X[b e V1: =X[E1 El place=b V1:=Elist1 Elist 1. array=X Elistl. place=l Elist 1. dim=1
例1: a:=X[b,c]+d的翻译 设A[1:10,1:20], W=4, CONSPART=X0 a V1 V.place=a V.offset=null V1:=X[b V1:=X[E1 E1.place=b V1:=Elist1 Elist1.array=X Elist1.place=b Elist1.dim=1
V1: -Elistl, c V1: =Elist1, E2 E2 place=c VI=Elist2 Elist2, array=X ,b,20t1) Elist2. place=tI (+,tl,c,t1 Elist2 dim=2 V1: Elist2 V1: =V2 V2. place= Xo (*tl,4,t2) V2. offset=t2 V1:=E3 E3. place=t3 (=[],ⅹl[t2],,t3) V1 =E3+d V1:=E3+E4 E4. place=d V1:=E5 E5. place=t4 (+t3,d,t4) A
V1:=Elist1,c V1:=Elist1,E2 E2.place=c V1:=Elist2 Elist2.array=X (*,b,20,t1) Elist2.place=t1 (+,t1,c,t1) Elist2.dim=2 V1:=Elist2] V1:=V2 V2.place= X0 (*,t1,4,t2) V2.offset=t2 V1:=E3 E3.place=t3 (=[], X0 [t2],_,t3) V1:=E3+d V1:=E3+E4 E4.place=d V1:=E5 E5.place=t4 (+,t3,d,t4) A (:=,t3,_,a)
例2:X[+2+1:-m+n的翻译 设A10NRx [E1 El place=i ⅹ[E1+2 ⅹ[E1+E2 E2. place=2 XE3 E3. place=tI (+,1,2,t1) Elist 1 Elistl. array=X Elist l place=tI Elist l dim=1 Elist 1, i Elist le4 E4. place=j Elistl.E4+1
例2: X[i+2,j+1]:=m+n的翻译 设A[1:10,1:20], W=4, CONSPART=X0 X[i X[E1 E1.place=i X[E1+2 X[E1+E2 E2.place=2 X[E3 E3.place=t1 (+,i,2,t1) Elist1 Elist1.array=X Elist1.place=t1 Elist1.dim=1 Elist1,j Elist1,E4 E4.place=j Elist1,E4+1
ElistlE4+e5 E5. place= Elistle6 E6 place=t2(+j, 1, t2 Elist2 Elist2. array=x(*,t1, 20, 3) Elist2. place=t3 (+t3,t2,t3) Elist2, dim=2 Elist2 1. place=Xo (*t3,4,t4) Offset=t4 V1:=m VI: E7 E7 placem V1:=E7+n V1:=E7+E8 E8. place=n V1:=E9 E9 place==t5 n.t5 (+,m,nt5) A 15,-+4|x)
Elist1,E4+E5 E5.place=1 Elist1,E6 E6.place=t2 (+,j,1,t2) Elist2 Elist2.array=X (*,t1,20,t3) Elist2.place=t3 (+,t3,t2,t3) Elist2.dim=2 Elist2] V1 V1.place= X0 (*,t3,4,t4) V1.offset=t4 V1:=m V1:=E7 E7.place=m V1:=E7+n V1:=E7+E8 E8.place=n V1:=E9 E9.place=t5 (+,m,n,t5) A ([]=,t5,_,t4[X0 ])
四.一类说明语句的翻译 1.文法 P→D D→D1212 D,: T T→ real integer array[num]ofT1|↑T1 可见非终结符P产生一系列:形式的说明 语句
四. 一类说明语句的翻译 1. 文法 P→D D→D1 ;D2│i:T T→real│integer│array[num] of T1│↑T1 可见,非终结符P产生一系列i:T形式的说明 语句