大连理工大学编译原理PPT

D TL T int T real L L1, id L id
温故知新
属性理解—例子
void D() { T_temp = T(); L_in = T_temp; L(L_in); return ; } int T() { switch lookahead { case INT: return INTEGER; case REAL: return REAL; default: error; } }
温故知新
属性理解—例子
int id, id, id 产 生 式 语 义 规 则
L.in := T.type T. type := integer T. type := real L1.in := L.in; addtype (id.entry, L.in ) addtype (id.entry, L.in )
F (E) F digit
F.val := E.val F.val := digit.lexval
4.1 语法制导的定义
4.1.1 语法制导定义的形式
属性值由分析树中它的 子结点的属性值来计算
基础文法 每个文法符号有一组属性 每个文法产生式A 有一组形式为b := f(c1, c2, …, ck ) 的语义规则，其中f 是函数，b和c1, c2, …, ck 是该产生式 文法符号的属性 综合属性：如果b是A的属性，c1 , c2 , …, ck 是产生式 右部文法符号的属性或A的其它属性。 继承属性：如果b是产生式右部某个文法符号X的属性。
4.1 语法制导的定义
8+5*2 n的注释分析树
L E.val = 18 E.val = 8 T.val = 8 F.val = 8 digit.lexval = 8 + T.val = 5 F.val = 5 digit.lexval = 5
每个结点的属性值都标 注出来的分析树，称为~。
n T.val = 10 * F.val = 2 digit.lexval = 2
8+5*2 n
分析树各结点属性的计算可以自下而上地完成
F.val = 2 digit.lexval = 2
4.1 语法制导的定义
L
8+5*2 n
分析树各结点属性的计算可以自下而上地完成
E.val = 18 E.val = 8
T.val = 8 F.val = 8 digit.lexval = 8
n
1、构造输入的分析树， 2、构造属性依赖图， 3、对结点进行拓扑排序 4、按拓扑排序的次序计算属性。
温故知新
属性值由分析树中它的 子结点的属性值来计算
每个文法产生式A 有一组形式为b := f(c1, c2, …, ck )的语义规则，其中f 是函数，b和c1, c2, …, ck 是该产生式文法符号的属性
4.2.1 语法树
语法树是分析树的浓缩表示：算符和关键字是作为 内部结点。 语法制导翻译可以基于分析树，也可以基于语法树 语法树的例子：
S if B then S1 else S2
if-then-else
B S1
语法树
S S2
if
B
then
S1
else
S2
分析树
4.2 S属性定义的自下而上计算
4.2.2 (例)用于构造语法树的语法制导定义
属性值由结点的兄弟结点及父结点的 属性值来计算。
4.1 语法制导的定义
4.1.2 综合属性 S属性定义：仅仅使用综合属性的语法制导定义
产 生 式 LEn E E1 + T ET T T1 * F TF F (E) F digit 语 义 规 则 print (E.val) E.val := E1 .val + T.val E.val := T.val T.val := T1.val * F.val T.val := F.val F.val := E.val F.val := digit.lexval
n
+ T.val = 5 F.val = 5
T.val = 10
*
F.val = 2
digit.lexval = 2
digit.lexval = 5
4.1 语法制导的定义
L
8+5*2 n
分析树各结点属性的计算可以自下而上地完成
E.val = 18 E.val = 8
T.val = 8 F.val = 8 digit.lexval = 8
产 生 式 语 义 规 则 E.nptr := mknode( ‘+’, E1.nptr, T.nptr) E.nptr := T.nptr T.nptr := mknode( ‘*’, T1.nptr, F.nptr) E E1 + T ET T T1*F
4.1 语法制导的定义
int id1, id2, id3的注释分析树
D T.type = integer L.in = integer L.in = integer , id2 id3
int
L.in = integer
id1
,
4.1 语法制导的定义
4.1.4 属性依赖图 int id1, id2, id3的分析树的依赖图
n T.val = 10 * F.val = 2 digit.lexval = 2
digit.lexval = 8
digit.lexval = 5
4.1 语法制导的定义
4.1.3 继承属性 int id, id, id
产 生 式 语 义 规 则
L.in := T.type T. type := integer T. type := real L1.in := L.in; addtype (id.entry, L.in ) addtype (id.entry, L.in ) D TL T int T real L L1, id L id
产 生 式 D TL
语 义 规 则 L.in := T.type
T int
T real L L1, id L id
T. type := integer
T. type := real L1.in := L.in; addtype (id.entry, L.in ) addtype (id.entry, L.in )
4.1 语法制导的定义
例 简单台式计算器的语法制导定义
产 生 式 LEn
E E1 + T ET T T1 * F TF
语 义 规 则 print (E.val)
E.val := E1 .val + T.val E.val := T.val T.val := T1.val * F.val T.val := F.val
T 4 type int in 9 in 7 L 10
L L1, id L1.in := L.in; addtype (id.entry, L.in )
in 5 L 8 ,
L 6 , id2 2 entry id3 3 entry
id1 1 entry
4.1 语法制导的定义
4.1.5 属性计算次序
n
+ T.val = 5 F.val = 5
T.val = 10*F.val = 2digit.lexval = 2
digit.lexval = 5
4.1 语法制导的定义
L
8+5*2 n
分析树各结点属性的计算可以自下而上地完成
E.val = 18 E.val = 8
T.val = 8 F.val = 8 digit.lexval = 8
n
+ T.val = 5 F.val = 5
T.val = 10
*
F.val = 2
digit.lexval = 2
digit.lexval = 5
4.1 语法制导的定义
L
8+5*2 n
注释分析树:结点的属性值都标注出来的分析树
E.val = 18
E.val = 8 T.val = 8 F.val = 8 + T.val = 5 F.val = 5
4.1 语法制导的定义
L E.val = 18 E.val = 8 T.val = 8 F.val = 8 digit.lexval = 8 + T.val = 5 F.val = 5 digit.lexval = 5 n T.val = 10 *
8+5*2 n
分析树各结点属性的计算可以自下而上地完成
D
T 4 type int in 9 in 7 L 10 in 5 L 8 ,
D TL L.in := T.type
L 6 , id2 2 entry id3 3 entry
id1 1 entry
4.1 语法制导的定义
4.1.4 属性依赖图 int id1, id2, id3的分析树的依赖图
D
+ T.val = 5 F.val = 5
T.val = 10
*
F.val = 2
digit.lexval = 2
digit.lexval = 5
4.1 语法制导的定义
L
8+5*2 n
分析树各结点属性的计算可以自下而上地完成
E.val = 18 E.val = 8
T.val = 8 F.val = 8 digit.lexval = 8
综合属性：如果b是A的属性，c1 , c2 , …, ck 是产生式 右部文法符号的属性或A的其它属性 继承属性：如果b是产生式右部某个文法符号X的属性。
属性值由结点的兄弟结点及父结点的 属性值来计算。
温故知新
属性的理解
非终结符分析过程（函数） 综合属性过程的返回值 继承属性过程的参数