属性文法和语法导翻译.pptVIP

中南大学软件学院 陈志刚 第六章属性文法和语法制导翻译 6.1 属性文法 6.2 基于属性文法的处理方法 6.3 S－属性文法的自下而上计算 6.4 L－属性文法和自顶向下翻译 6.5 自下而上计算继承属性 6.1 属性文法 概述 语义处理 概述 语义形式化 语义建模 文法模型---- 属性文法 命令式或操作式模型 ----- 操作语义学 应用式模型-----指称语义学 公理式模型-----公理语义学 属性文法 表达式文法 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} 操作语义 描述一段程序的含义是通过执