71中间语言 把表达式翻译为后缀式的语义规则描述 产生式 语义规则 E→→E10pE2E.code:=E1 code e2, code op E(EE. code:=E code E→id E. code =id
7.1 中 间 语 言 把表达式翻译为后缀式的语义规则描述 产 生 式 语 义 规 则 E→E1 op E2 E.code :＝E1 .code || E2 .code || op E→（E1） E．code := E1 .code E→id E．code :＝id
71中间语言 后缀式不需要括号 (8-4)+2的后缀表示是84-2+ 后缀式的最大优点是便于计算机处理表达式 后缀式很容易拓广到含一元算符的表达式 后缀式也可以拓广到其它语言成分 演示Tab1e71
7.1 中 间 语 言 后缀式不需要括号 (8 − 4) + 2 的后缀表示是8 4 −2 + • 后缀式的最大优点是便于计算机处理表达式 • 后缀式很容易拓广到含一元算符的表达式 • 后缀式也可以拓广到其它语言成分 演示Table7_1
71中间语言 712图表示法 图表示法包括DAG与抽象语法树 抽象语法树 assign a ulmus d d b (a)语法树 a:=(-b+c*d)+c*d抽象语法树
7.1 中 间 语 言 7.1.2 图表示法 图表示法包括DAG与抽象语法树 • 抽象语法树 assign a + + b c d uminus c d (a) 语法树 a := (−b + cd ) + cd抽象语法树
71中间语言 712图表示法 有向无环图也是一种中间表示 assign assign a ulmus d umnus d d b b (a)语法树 (bDAG a:=(-b+c*d)+c*d的图形表示
7.1 中 间 语 言 7.1.2 图表示法 • 有向无环图也是一种中间表示 assign a + + b c d uminus c d assign a + + b c d uminus (a) 语法树 (b)DAG a := (−b + cd ) + cd的图形表示
71中间语言 构造赋值语句抽象语法树的属性文法 演示 Table72 立生式 语义规则 S→id:=E|S.np:= mknodecassign”, maleat(id, identry), E.nptr) E→E1+E2E.mp:= mknode(+’,E1-npt,E2ptm) E,El*E2Enptr:=mknode(*, Er nptr, E, nptr) E,-E1 Enptr:= mkunode(, Ernptr) E→(E1)E.mp:=E,npt E→id E nptr: = mkleaf (id, identry)
7.1 中 间 语 言 构造赋值语句抽象语法树的属性文法 演示Table7_2 产 生 式 语 义 规 则 S → id :=E S.nptr := mknode(‘assign’, mkleaf (id, id.entry), E.nptr) E → E1 +E2 E.nptr := mknode( ‘+’, E1 .nptr, E2 .nptr) E → E1 E2 E.nptr := mknode( ‘’, E1 .nptr, E2 .nptr) E → −E1 E.nptr := mkunode( ‘uminus’, E1 .nptr) E → (E1 ) E.nptr := E1 .nptr E→ id E.nptr := mkleaf (id, id.entry)