6第5章语义分析与中间代码生成.ppt
文本预览下载声明
简单算术表达式与赋值语句的翻译 分析文法特点 设置一系列语义变量、定义语义过程、语义函数 修改文法,写出每一条产生式的语义子程序 S→A A→i:=E E→E+E|E*E|(E)|i 产生式 ? 语义动作 S→id∶=E S.code := E.code || gen( id.place:=E.place ) E→E1+E2 E.place := newtemp;E.code := E1.code || E2.code || gen(E.place:=E1.place+E2.place) E→E1*E2 E.place := newtemp;E.code := E1.code || E2.code ||gen(E.place:=E1.place*E2.place) E→-E1 E.place := newtemp;E.code := E1.code || |gen(E.place:=0-E1.place) E→(E1) E.place:= E1.place;?? E.code:= E1.code E→ id E.place:= id.place;? E.code:= E→ num E.place:= num.val;? E.code:= 考试内容 第一章 1.1 ,1.2 第二章 文法和语言 第三章 词法分析 第四章 语法分析 4.1, 4.2, 4.3, 4.4讲过的部分 第五章 语法制导翻译技术和中间代码生成 5.1,5.2,5.3, 5.4讲过的部分 考试题型 闭卷 一、填空题(每题2分,共20分) 二、选择题(每题2分,共24分) 三、判断题(每小题1分,共10分) 四、应用题(7题,共46分) 应用题型 设计文法,描述语言 已知文法,确定该文法所描述的语言 构造语法树,求出某句型的全部短语、直接短语、句柄。 正规文法转换到正规式 正规式转换到正规文法 由正规式构造NFA NFA确定化为DFA DFA化简 算符优先关系表的构造 算符优先分析过程 编译原理 第5章 语法制导翻译技术 和中间代码生成 编译过程 图 词法分析 语法分析 语义分析及中间代码生成 代码优化 目标代码生成 词法规则 →单词符号 语法规则, 语法成分、语法检查 语义审查,中间代码 等价变换 更为高效 机器指令代码 语义处理 分析语义,语法上合法的程序的意义 属性文法,描述语义 语义正确的前提下,进行代码翻译 语法制导翻译法 某种形式的中间语言代码 5.1 属性文法 上下文无关文法的基础上,允许每个文法符号根据处理的需要,定义与之相关联的属性,属性的计算规则。 E→E+T E的数据类型 E.type E的存储位置 E.place E的值 E.value 属性文法 AG=(G,V,E) G 上下文无关文法 V 属性 E 断言(谓词),语义规则 产 生 式 语 义 规 则 L ? E n print (E.val) E ? E1 + T E.val := E1 .val + T.val E ? T E.val := T.val T ? T1 * F T.val := T1.val * F.val T ? F T.val := F.val F? (E) F.val := E.val F ? digit F.val := digit.lexval 表6.1 一个简单台式计算器的属性文法 属性与变量一样,可以进行计算和传递。 属性加工的过程即是语义处理的过程。 属性的计算规则 L的虚属性 换行符 属性通常分为两类 综合属性 用于“自下而上”传递信息 继承属性 用于“自上而下”传递信息 或者在兄弟之间传递信息 语义规则的形式 在一个属性文法中,对应于每个产生式A→α都有一套与之相关联的语义规则, 每条规则的形式为 b = f(c1,c2,…,ck) 属性b依赖于属性 c1,c2,…,ck (1) b是A的一个综合属性, 并且c1,c2,…,ck 是产生式右边文法符号的属性; (2) b是产生式右边某个文法符号的一个继承属性, 并且c1,c2,…,ck 是A或产生式右边任何文法符号的属性。 注意 终结符 只有综合属性,它们由词法分析器提供 非终结符 既可有综合属性也可有继承属性 产 生 式 D ? TL T? int T? real L? L1, id L? id 表6.2 带继承属性L.in的属性文法 语 义 规 则 L.in := T.type T. type := integer T.
显示全部