语法制导翻译与中间代码的生成.ppt

第八章语法制导翻译和中间代码生成 概述 语义处理 概述 语义形式化 语义建模 文法模型---- 属性文法 命令式或操作式模型 ----- 操作语义学 应用式模型-----指称语义学 公理式模型-----公理语义学 属性文法 表达式文法 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} 操作语义 描述一段程序的含义是通过执行该段程序所改变的计算机（虚拟计算机）状态来反映。这个计算机的状态与程序执行时的状态相对应：包括变量的所有值，可执行程序本身，各种系统定义的内部数据结