编译原理第5章(语法制导翻译技术)-1详解.ppt

语义分析的任务：;例如:; 目前多数编译程序进行语义分析的方法是采用语法制导翻译法 。它不是一种形式系统, 但它比较接近形式化。 ;(1) 属性;属性分为两类:;继承属性其计算规则按“自上而下”方式进行, 即规则右部符号的某些属性根据其左部符号的属性和(或)右部其他符号的某些属性计算而得。;(2) 属性文法; 这些语义规则附在文法的每个产生式上,在语法分析过程中, 执行语义规则描述的动作, 从而实现语义处理。也就是说, 附在文法的每个产生式上语义规则描述了语义处理的加工动作。;G： E→E+T |T T→T*F |F F→(E)|i G： D→TL T→integer |real L→L,id|id ;5.3 语法制导翻译概述 ;S→……;(2) 语法制导翻译法 ;为文法每一产生式设计相应的求值的语义描述(语义动作)： ;1.E → E(1)＋E(2) ; 5.4 编译中常用的中间代码:;逆波兰式 ; 逆波兰式表示法同中缀表示法相比其优点是:; 一般表达式计值时，要处理两类符号，一类是运算对象，另一类是运算符，通常用两个工作栈分别处理。但处理用逆波兰式表示的表达式却只用一个工作栈。 ; 当计算机自左到右顺序扫描逆兰波式时，若当前符号是运算对象则进栈，若当前符号是运算符，设为K元运算符，则将栈顶的K个元素依次取出，同时进行K元运算，并将运算结果置于栈顶，表达式处理完毕时，其计算结果自然呈现在栈顶。 ;逆波兰式ab+c*的处理过程如下图： ;逆波兰形式可以推广到其他语法结构： ;三元式和树形表示;例如 a+b*c 的 三元式序列：; 1. 三元式出现的顺序和语法成份的 计值顺序相一致。 ;间接三元式; 例如 语句; 树形表示;四元式主要由四部分组成： ; 四元式的第四个分量result是编译程序为存放中间运算结果而临时引进的变量，常称为临时变量，如Ti，也可以是用户自定义变量，如X。 ;2. 四元式之间的联系是通过临时变量实 现的，这样易于调整和变动四元式。 ; 编译系统中，有时将四元式表示成另一种更直观，更易理解的形式——三地址代码或三地址语句。;例如 X＝ a*b＋c/d 的 四元式序列：;例1. –a + b * ( –c + d )的逆波兰式 ;t1= @ a;i↑( i /( i – i ) )的逆波兰式 ;语义函数 emit（T＝arg1 OP arg2） ; (2) 不进符号表，临时变量单词值部 分用整数码表示。 ;语义过程 Lookup（i.name） ; 1. E → E(1) ＋ E(2) ;4. E → i ;5.5.2布尔表达式到四元式的翻译;布尔表达式到四元式的翻译;布尔表达式到四元式的翻译;布尔表达式到四元式的翻译;布尔表达式到四元式的翻译;3. E→ ( E (1) ) ;布尔表达式到四元式的翻译;布尔表达式到四元式的翻译;布尔表达式到四元式的翻译; (1) 真出口和假出口:;(2) 作为条件转移的E,把E翻译成的代码 是一串条件转或无条件转的四元式;布尔表达式到四元式的翻译;布尔表达式到四元式的翻译;布尔表达式到四元式的翻译;布尔表达式到四元式的翻译;布尔表达式到四元式的翻译;布尔表达式语义动作的设计;布尔表达式语义动作的设计;布尔表达式到四元式的翻译;布尔表达式到四元式的翻译;5.5.3 控制语句的翻译; C→ if E then S→ CS(1) ;2、双分支if语句： C→ if E then TP→CS(1) else S→ TP S(2) C→ if E then {backpatch(E.true,nextq); C.chain=E.false} TP→CS(1) else {q=nextq;emit(goto 0);① TP .chain=merge(S(1).chain,q); Backpatch(C.chain,nextq)②} S→TP S(2) {S.chain=merge(TP.chain, S(2).chain)} 例： if xy then x=x+1 else y=y+1 if A v BC then x=x+B else x=x+C ;3、条件循环语句： w→w