第16-17讲-语法制导的翻译-III.pptx

4.3 L属性定义的自上而下计算边分析边计算，使得语法和语义的计算都在一遍处理完毕，而不需要为语义分析而单独进行一遍编译分析S属性定义的计算边分析边计算分析完毕，属性也计算完毕问题：继承属性是否可以采用边分析边计算的方式进行？4.3 L属性定义的自上而下计算属性计算与分析方法之间的关系属性的计算次序受分析方法所限定的分析树结点建立次序的限制。分析树的结点是自左向右生成。所以，仅当属性信息是自左向右流动时，才有可能在分析的同时完成属性计算。4.3 L属性定义的自上而下计算L属性定义翻译方案预测翻译器的设计用综合属性代替继承属性4.3 L属性定义的自上而下计算4.3.1 L属性定义如果每个产生式A ?X1 X2 … Xn 的每条语义规则计算的属性是A的综合属性；或者是Xj 的继承属性，1 ? j ? n, 但它仅依赖：该产生式中Xj左边符号X1, X2, …, Xj-1的属性；A的继承属性。S属性定义属于L属性定义。例 非L属性文法符号Q的继承属性依赖于它右边文法符号R的属性。另一例 非L属性的语法制导定义文法符号B的继承属性依赖于它右边文法符号C的属性。4.3 L属性定义的自上而下计算L属性定义的例子：变量类型声明的语法制导定义产 生 式 语 义 规 则 D ? TL L.in := T.type T? int T. type := integer T? rea