语法制导的翻译提纲语法制导的定义属性依赖图属性计算次序.PDF

语法制导的翻译 提纲 • 语法制导的定义(syntax-directed definition) • 语义规则的两种描述方法：语法制导的定义 – E E + T E.code = E .code || T.code || ‘+’ 和翻译方案 1 1 可读性好，更适于描述规范 • 语法制导定义和翻译方案的实现 – L属性定义的自下而上计算（边分析边计算） • 翻译方案(translation scheme) – S属性定义的自下而上计算（边分析边计算） – L属性的自上而下计算（边分析边计算） – E E1 + T { print ‘+’ } 陈述了实现细节(如语义规则的计算时机) 语法制导的定义 属性依赖图(dependence graph) 语法制导定义的形式 • 例 int id , id , id 的分析树（虚线）的依赖图 1 2 3 • 基础的上下文无关文法 （实线） D TL L.in = T.type • 每个文法符号有一组属性 D • 每个文法产生式A 有一组形式为 b=f (c , c , …, c ) 的语义规则，其中: f 是函数 T 4 type in 5 L 6 1 2 k b和c , c , …, c 是该产生式文法符号的属性， 1 2 k • 综合属性(synthesized attribute)：如果b是A 的属性 int in 7 L 8 , id3 3 entry ，c1 , c2 , …, ck 是产生式右部文法符号的属性或A 的 其它属性 in 9 L 10 , id2 2 entry • 继承属性(inherited attribute)：如果b是右部某文法 id1 1 entry 符号X 的属性 属性依赖图 属性计算次序 • 例 int id , id , id 的分析树（虚线）的依赖图 1、拓扑排序(topological sort)：是DAG 的结点的一种排 1 2 3 序m ,…,m ，若有m 到m 的边，则在排序中m 先于m （实线） LL , id L .in = L.in; 1 k i j i j