第5章_语法制导翻译及中间代码.pptVIP

第5章 语法制导翻译及中间代码生成;§5.1 语法制导翻译;翻译的任务：首先是语义分析和正确性检查，若正确，则翻译成中间代码或目标代码。 使用的方法：语法制导翻译。在语法分析过程中进行语义处理的翻译技术。 基本思想：根据翻译的需要设置文法符号的属性，以描述语法结构的语义。即语法制导翻译法使用属性文法为工具来描述程序设计语言的语义。;1、属性文法(Syntax-directed definitions);综合属性：其计算规则按“自下而上”方式进行， 即规则左部符号的某些属性根据其右部符号的属性和(或)自己的其他属性计算而得。在语法树中，一个结点的综合属性由该结点 的子结点的属性值确定。;(2) 属性文法;A＝（G，V，F）， G: 是一个上下文无关文法 V: 有穷的属性集，每个属性与文法的一终结符或非终结符相连。 F: 关于属性的属性断言或谓词集，每个断言与一个产生式相联。一个断言即一个语义规则，描述各属性关系。;例如定义表达式的文法如下：;例1 表达式计算的语法制导定义;digit?lexval:=3;例2：变量说明的类型定义 int a,b,c;T;2、语法制导翻译;ＬＲ分析器模型;例如：２＋３*５的分析和计值过程;§5.2 中间代码形式;1）后缀式;;例：E→E+T {Post[p]:=“+”,p:=p+1} E→T T→T*F { } {Post[p]:=“*”,p:=p+1} T→F F→(E) { } { } F→i {Post[p]:=“i”,p:=p+1};2）四元式;①每个四元式只能有一个运算符，因此一个复杂表达式可由多个四元式构成的序列表示。 例：A+B*C写成： （*，B，C，T1） （+，A，T1，T2） ② 若op为一元、零元(无条件转移)时，arg1、arg2可省略。 ③ 会引入一些临时变量。 ;3）三元式;1、辅助函数：;5）GEN（op，arg1，arg2，result）：产生一个四元式将它送入四元式表中，并以此四元式在四元式表中的位置作为返回值。;S→id:=E GEN(:=，E.place，_，ENTRY(id) ) E→E1+E2 E.place:=newtemp; GEN(+，E1.place，E2.place，E.place) E→E1*E2 E.place:=newtemp; GEN(*，E1.place，E2.place，E.place) E→-E1 E.place:=newtemp; GEN(-，E1.place， _ ，E.place) E→(E1) E.place:=E1.place; E→id E.place:=ENTRY（id） ;分析栈 当前符号 余留输入串 语义栈place 四元式 # A := B*(C+D) #A := B*(C+D) A #A:= B *(C+D) A_ #A:=B * (C+D) A_ B ，归约 #A:=E * (C+D) A_ B #A:=E* ( C+D) A_ B_ #A:=E*( C +D) A_ B_ _ #A:=E*(C + D) A_ B_ _C,归约 #A:=E*(E + D) A_ B_ _C #A:=E*(E+ D ) A_ B_ _C _ #A:=E*(E+D ) # A_ B_ _C _D,归约 #A:=E*(E+E ) # A_ B_ _C _D,归约 (+,C,D,T1) #A:=E*(E ) A_ B_ _T1