编译原理张晶 语法制导翻译和中间代码生成图文.pptxVIP

编译原理张晶 语法制导翻译和中间代码生成图文会计学第1页/共125页概述语义形式化 语义建模文法模型----属性文法命令式或操作式模型 ----- 操作语义学应用式模型-----指称语义学公理式模型-----公理语义学第七章 语法制导翻译和中间代码生成（3）第2页/共125页属性文法表达式文法 E—T+T| T or T T—n | b E?T1 + T2 { T1.type = int T2.type= T1.type E.type :=int} E ?T1 or T2 { T1.type = bool T2.type= T1.type E.type :=bool} T ? n { T.type := int} T ? b { T.type := bool} 第七章 语法制导翻译和中间代码生成（4）第3页/共125页 操作语义 描述一段程序的含义是通过执行该段程序所改变的计算机（虚拟计算机）状态来反映。这个计算机的状态与程序执行时的状态相对应：包括变量的所有值，可执行程序本身，各种系统定义的内部数据结构。计算机里所有的寄存器的值和存储单元的值作为计算机的状态，用一组形式定义的操作来说明执行一条指令相应的状态怎样变化。For (expr1;expr2;expr3){