世界十大最古老原始森林休闲娱乐.ppt

语法制导翻译 ？？为什么进行词法和语法分析 ？？用A→α进行归约表达的是什么意思 看：operand+term E→E1+T E1的值+T的值的结果作为E的值——即：取来E1的值和T的值做加法运算，结果作为E的值 E.val=E1.val+T.val 第五章 语法制导翻译 翻译的任务 首先是语义分析和正确性检查，若正确，则翻译成中间代码或目标代码。 基本思想 根据翻译的需要设置文法符号的属性，以描述语法结构的语义。 例如，一个变量的属性有类型，层次，存储地址等。表达式的属性有类型，值等。 属性值的计算和产生式相联系。随着语法分析的进行，执行属性值的计算，完成语义分析和翻译的任务。 5.1 语法制导翻译概述 语法制导翻译的概念描述 在进行语法分析的同时，完成相应的语义处理 E→E1 + E2 E.val:=E1.val+E2.val 语法结构具有规定的语义 问题：如何根据被识别出的语法成分进行语义处理？ 1. 语义分析的任务 语义检查 例：类型、运算、维数、越界 语义处理 例：变量的存储分配 例：表达式的求值 例：语句的翻译（中间代码的生成） 总目标：生成等价的中间代码 2. 代码结构 计算学科：对信息（数据表示）描述和变换算法的系统研究 变换：源、目标以及源与目标的对应关系 语句的代码结构 语句分类： 说明语句——符号表的查填 可执行语句——指令代码 3. 典型处理方法 对应每一个产生式编制一个语义子程序，当一个产生式获得匹配时，调用相应的语义子程序实现语义检查与翻译 E→E1 + T E.val:=E1.val+T.val T→T1 * F T.val:=T1.val*F.val F →id F.val:=id.val 适宜在完成归约的时候进行 3. 典型处理方法 在产生式的右部的适当位置，插入相应的语义动作，按照分析的进程，执行遇到的语义动作 D → T { L.in := T.type } L T → int { T.type := integer } T → real { T.type := real } L → { L1.in := L.in }L1,id{…} 语义——可以看成是相应文法符号的属性 适宜在进行推导时完成 语义翻译的流程 例5-5 图5－5分析树的依赖图 例5.9 表达式 a＋a*(b-c)+(b-c)*d 的dag + * d + * a – c b 在分析栈中使用一个附加的域来存放综合属性值。下图为一个带有综合属性值域的分析栈： state val ... X X.x Y ... Y.y ... ... Z Z.z top 5.3 S-属性定义及其自底向上的计算 ?A?? b:=f(c1,c2,…,ck) b是A的综合属性，ci(1? i?k)是?中符号的属性。综合属性的值是在自底向上的分析过程中，每次归约之前进行计算的。 A?XYZ A?a:=f(X ?x,Y ?y,Z ?z) A ?a X ?x Y ?y Z ?z top state val ... ... X X.x Y Y.y Z Z.z state val ... ... A A .a top 定义式 A .a:=f(X.x, Y.y, Z.z)（抽象）变成val[ntop]:=f(val[top-2],val[top-1],val[top])（具体可执行代码）。在执行代码段之前执行： ntop:=top-r+1 r是句柄的长度 执行代码段后执行： top:=ntop; 产生式 代码段(和图5－2对比） L?En printf(val[ntop]) E ?E+T val[ntop]:=val[top-2]+val[top] E ?T T ?T*F val[ntop]:=val[top-2]*val[top] T ?F F ?(E) val[ntop]:=val[top-1] F ?digit 例5.10 用LR分析器实现台式计算器(图5－16） 表5.5 翻译输入3*5+4n所做的移动 输入 state val 使用的产生式 3*5+4n - - *5+4n 3 3 *5+4n F 3 F?digit *5+4n T 3