《编译原理》课程教学资源（PPT课件讲稿）第五章语法制导的翻译 5.1 语法制导的定义 5.2 S属性定义的自下而上计算.ppt_大学文库

第五章语法制导的翻峄今本章内容 1、介绍语义描述的一种形式方法:语法制导的翻译,它包括两种具体形式 ⑩语法制导的定义 ⑩翻译方案 2、介绍语法制导翻译的实现方法

第五章语法制导的翻译 ❖ 本章内容 1、介绍语义描述的一种形式方法：语法制导的翻译，它包括两种具体形式 语法制导的定义 翻译方案 2、介绍语法制导翻译的实现方法

5.1语法制导的定义今例简单计算器的语法制导定义产生式语义规则 L→En rint(e. val) E→E1+T E.val=El. val+ Tval E→T E.val= tval T→T1*F Tval= tval s Eval T→F Tval= eval F→(E) Eval= e. val F→ digit Eval e digit lexval

5.1 语法制导的定义 ❖ 例简单计算器的语法制导定义产生式语义规则 L → E n print (E.val) E → E1 + T E.val = E1 .val + T.val E → T E.val = T.val T → T1  F T.val = T1 .val  F.val T → F T.val = F.val F→ (E) F.val = E.val F → digit F.val = digit.lexval

5.1语法制导的定义 511语法制导定义的形式今基础文法每个文法符号有一组属性每个文法产生式A→a有一组形式为b=f(c1,C23…,Ck)的语义规则,其中 b和c1C2;…,Ck是该产生式文法符号的属性, f是函数综合属性:如果b是A的属性,C1,C2,…,Ck是产生式右部文法符号的属性或A的其它属性继承属性:如果b是右部某文法符号X的属性

5.1 语法制导的定义 5.1.1 语法制导定义的形式 ❖ 基础文法 ❖ 每个文法符号有一组属性 ❖ 每个文法产生式A → 有一组形式为b=f(c1 , c2 , …, ck )的语义规则，其中 b和c1 , c2 , …, ck 是该产生式文法符号的属性， f 是函数 ❖ 综合属性：如果b是A的属性，c1 , c2 , …, ck 是产生式右部文法符号的属性或A的其它属性 ❖ 继承属性：如果b是右部某文法符号X的属性

5.1语法制导的定义 5.1.2综合属性 S属性定义:仅使用综合属性的语法制导定义产生式语义规则 L→En print(E. val) E→E1+T E.val=e, val+ val E→T E.val= tval T→T*F Tval= T.val s eval T→F Tval= Eval F→(E) Eval= e val F→ digit Eval e digit lexval

5.1 语法制导的定义 5.1.2 综合属性 S属性定义：仅使用综合属性的语法制导定义产生式语义规则 L → E n print (E.val) E → E1 + T E.val = E1 .val + T.val E → T E.val = T.val T → T1  F T.val = T1 .val  F.val T → F T.val = F.val F→ (E) F.val = E.val F → digit F.val = digit.lexval

5.1语法制导的定义注释分析树:结点的属性值都标注出来的分析树 8+5*2n的注释分析树 E.val= 18 E.val= 8 Tval= 10 T.val= 8 Tval= 5 F val= 2 F.val= 8 Fval= 5 digit. lexval=2 digit. lexval=8 digit.lexval= 5

5.1 语法制导的定义注释分析树:结点的属性值都标注出来的分析树 8+5*2 n的注释分析树 digit.lexval = 2 L E.val = 18 n E.val = 8 T.val = 10 T.val = 8 F.val = 8 digit.lexval = 8 T.val = 5 +  F.val = 5 F.val = 2 digit.lexval = 5

5.1语法制导的定义分析树各结点属性的计算可以自下而上地完成 L E.val= 18 E.val= 8 Tval= 10 T.val= 8 Tval= 5 F val= 2 F.val= 8 Fval= 5 digit. lexval=2 digit. lexval=8 digit.lexval= 5