语言的语法及其翻译方案.docVIP

各种语言成分的语法及其翻译方案(示例) 1. 普通声明语句的 P → prog id (input, output) D ; S D →D ; D | List : T | proc id D ; S List →List1, id | id T → integer | real | array C of T1 | (T1 | record D C → [num] C | ε 声明语句的翻译模式： P→prog id (input, output){offset := 0}D ; S D→D ; D D→id: T{enter (id.name, T.type, offset); offset:= offset + T.width} T→integer{T.type := integer; T.width := 4} T→real{T.type :=real; T.width :=8} T→array [num] of T1{T.type := array(num.val, T1.type);T.width := num.val×T1.width} T→↑T1{T.type := pointer(T1.type); T.width := 4} 2. 嵌套过程中声明语句的翻译 嵌套过程声明语句的产生式。 P→prog id (input, output) D ; S D→D ; D | id : T | proc id ; D ; S (7.1) 嵌套过程声明语句的翻译模式： P→prog id (input, output) MD;S{addwidth(top(tblptr),top(offset)); pop(tblptr);pop(offset)} M→ε{t := mktable(nil);push(t, tblptr); push(0, offset)} D→D1;D2 D→proc id; N D1 ; S{t:= top(tblptr);addwidth(t, top(offset));pop(tblptr); pop(offset); enterproc(top(tblptr), id.name,t)} D →id : T{enter(top(tblptr), id.name, T.type, top(offset)); top(offset) := top(offset) + T.width} N →ε{t:= mktable(top(tblptr)); push(t, tblptr); push(0, offset)} 3. 记录的翻译 下面是生成记录类型的产生式： T→record D end 生成记录类型的翻译模式： T → record L D end {T.type := record(top(tblptr)); T.width := top(offset); pop(tblptr); pop(offset)} L →ε{t:= mktable(nil); push(t, tblptr); push(0, offset)} 4. 赋值语句的翻译 S →Left := E E →E1 + E2 | E1 * E2 | - E1 | (E1 ) | Left Left →Elist ] | id Elist →Elist, E | id [E (7.2) 赋值语句的翻译模式： ⑴ S→Left:=E{if Left.offset=null then /*Left是简单id*/ gencode(Left.addr := E.addr); else gencode(Left.addr [ Left.offset ] := E.addr)} /*Left是*/ ⑵ E→E1+E2{E.addr:=newtemp;gencode(E.addr :=E1.addr+E2.addr)} ⑶ E→(E1){E.addr:= E1.addr} ⑷ E→Left{if Left.offset=null then /*Left是简单id*/ E.addr:= Left.addr else begin /*Left是*/ E.addr:=newtemp; gencode(E.addr := Left.addr [ Left.offset ]) end} ⑸ Left→Elist]{ Left.addr:=newtemp; /*Left是*/ Left.offset:=newtemp;