第6章 语法制导翻译技术.pptVIP

第6章 语法制导翻译技术 6.1 翻译文法 6.1 翻译文法 6.1 翻译文法 6.1 翻译文法 6.2 语法制导翻译 6.2 语法制导翻译 6.3 自顶向下语法制导翻译 6.3.1 递归下降翻译 6.3.2 LL(1)翻译器 6.3.2 LL(1)翻译器 6.3.2 LL(1)翻译器 6.4 属性翻译文法 6.4.1 综合属性 6.4.1 综合属性 6.4.1 综合属性 6.4.1 综合属性 6.4.2 继承属性 6.4.2 继承属性 6.4.2 继承属性 6.4.3 属性翻译文法 6.4.3 属性翻译文法 6.4.4　属性翻译文法举例—算术表达式的翻译 6.4.4　属性翻译文法举例—算术表达式的翻译 6.4.4　属性翻译文法举例—算术表达式的翻译 6.4.4　属性翻译文法举例—算术表达式的翻译 6. 5 属性文法的自顶向下翻译 6.5.1 L-属性翻译文法 6.5.2 L-属性文法翻译的实现——递归下降翻译 6.5.2 L-属性文法翻译的实现——递归下降翻译 6.5.2 L-属性文法翻译的实现——递归下降翻译 6.5.2 L-属性文法翻译的实现——递归下降翻译 6.5.2 L-属性文法翻译的实现——递归下降翻译 6.5.2 L-属性文法翻译的实现——递归下降翻译 6.5.2 L-属性文法翻译的实现——递归下降翻译 6.5.2 L-属性文法翻译的实现——递归下降翻译 6.5.2 L-属性文法翻译的实现——递归下降翻译 6.5.2 L-属性文法翻译的实现——递归下降翻译 6.5.3 L-属性文法翻译的实现—LL(1)法 6.5.3 L-属性文法翻译的实现—LL(1)法 6.5.3 L-属性文法翻译的实现—LL(1)法 6.5.3 L-属性文法翻译的实现—LL(1)法 6.5.3 L-属性文法翻译的实现—LL(1)法 6.5.3 L-属性文法翻译的实现—LL(1)法 6.5.3 L-属性文法翻译的实现—LL(1)法 6.5.3 L-属性文法翻译的实现—LL(1)法 6.5.3 L-属性文法翻译的实现—LL(1)法 习题 习题 6.6 自底向上的语法制导翻译 6.6.1 波兰翻译 6.6.1 波兰翻译 6.6.1 波兰翻译 6.6.2 S-属性文法 6.6.2 S-属性文法 6.6.3 S-属性波兰翻译文法的翻译实现 6.6.3 S-属性波兰翻译文法的翻译实现 6.6.3 S-属性波兰翻译文法的翻译实现 6.6.3 S-属性波兰翻译文法的翻译实现 下面给出采用C语言编写属性翻译程序时采用的方法： 1)形式参数：产生式左部非终结符的属性名表设计成相应过程的形式参数表。将继承属性的形参名说明为值形参(即简单变量)，综合属性形参名说明为指针变量。 2)局部变量：在产生式中，与在左部出现的属性名不同的属性名变成相应过程的局部变量。 3)非终结符的代码：对应于右部出现的每个非终结符的过程调用，该非终结符的属性作为实参。要注意：如果实参是简单变量，形参是指针变量，调用时实参应为简单变量的地址。 4)输入符号的代码：对文法中出现的每个输入符号(即终结符号)，将赋值语句插入到过程中它所对应的NEXTSYM之前，把保存在读符号程序NEXTSYM中的终结符号属性(某个全局变量中)赋给输入符号属性中的每个属性变量。 5)动作符号的代码：对出现在文法中的每个动作符号，插入代码便于对动作符号的综合属性进行计算，并且把结果赋给对应于该综合属性的变量，然后输出相应的符号。 6)属性规则的代码：与每个产生式有关的属性求值规则，插入其代码以便对属性求值规则的右部求值，并把结果赋给该规则左部的每个变量。可以把这些代码放在属性计算规则的所有自变量已知之后，且函数值被使用之前的任何地方。 7)主程序：C语言都是从MAIN函数开始运行。在MAIN函数中，对文法的开始符号，其相应的每一个综合属性的名字变成主程序的局部变量，然后调用开始符号对应的过程。在调用时，如果实参对应开始符号的继承属性，则对每个继承属性以该属性的初始值作为值参传入，对每个综合属性取该属性的局部变量的地址传入。 E↑t→T↑pE↓p↑t E↓p↑t→+T↑r @ADD↓p,r,t0 E ↓t0↑t t0=NEWT E↓p↑t→ε t=p T↑t→F↑pT↓p↑t T↓p↑t→*F↑r @MULT↓p,r,t0 T↓t0↑t t0=NEWT T↓p↑t→ε t=p F↑p -(E↑p) | ID↑p