语法制导翻译2(BEST).pdf

加深理解 属性值由分析树中它的 子结点的属性值来计算  每个文法产生式A → α有一组形式为b := f(c , 1 c , …, c ) 的语义规则，其中f 是函数，b和c , 2 k 1 c , …, c 是该产生式文法符号的属性 2 k  综合属性：如果b是A 的属性，c , c , …, c 是产生式 1 2 k 右部文法符号的属性或A 的其它属性  继承属性：如果b是产生式右部某个文法符号X 的属性。 属性值由结点的兄弟结点及父结点的 属性值来计算。 加深理解 属性的理解 非终结符ßà分析过程（函数） 综合属性ßà过程的返回值 继承属性ßà过程的参数 温故知新 属性理解—例子 int id, id, id 产 生 式 语 义 规 则 D → TL L.in := T.type T→ int T. type := integer T→ real T. type := real L→ L , id L .in := L.in; 1 1 addtype (id.entry, L.in ) L→ id addtype (id.entry, L.in ) 产 生 式 语 义 规 则 D → TL L.in := T.type T→ int T. type := integer 属性理解—例子 T→ real T. type := real L→ L , id L .in := L.in;addtype (id.entry, void D() 1 1 L.in ) { L→ id addtype (id.entry, L.in ) T_temp = T(); L_in = T_temp; void L(int L_in) L(L_in); {