编译原理第七章总结
一、语义分析概述
1任务:审查每一个语法结构的静态语义,即验证语法正确的结构是否有意义。在语义正确的基础上生成一种中间代码或目标代码
2.范围:
①.确定类型 ②.类型检查 ③.识别含义
3.语义描述工具和语义分析方法
①语义描述工具
目前流行:用属性文法作为描述语义的工具
②语义分析方法:语法制导定义、翻译方案
二、几种常用的中间语言形式
1.逆波兰表示法(后缀式):a+b → ab+
2.图表示法
抽象语法树。
无循环有向图(DAG)
DAG与抽象语法树基本上一样,对表达式中的每个子表达式,DAG中都有一个结点。一个内部结点表示一个操作符,它的孩子表示操作数
3.三元式
三元式由三个部分组成:
算符:OP
第一运算分量:ARG1
第二运算分量:ARG2
4.间接三元式
在三元式的基础上附加一张指示器表─间接码表,按运算的先后顺序列出有关三元式在三元式表中的位置。这种表示方法称为间接三元式
5.四元式
一个四元式是一个带有四个域的记录结构:op,arg1,arg2及result。它实际上就是一条三地址的指令。
二、赋值语句的翻译
1.简单算术表达式的赋值语句:
所谓简单指不考虑数组元素、记录、函数的引用等情况。
2.类型转换
有的程序设计语言允许混合运算,有的不允许。如果不允许,则发现有类型不相同的运算分量就应该报错。如果允许,就要进行类型转换。
三、控制流语句的翻译
可以仿照算术表达式的翻译来进行。
例如 A∨B∧C=D可翻译成如下四元式序列:
(=,C,D,T1)
(∧,B,T1,T2)
(∨,A,T2,T3)
例题:
对于语句a:=b*-c+b*-c 的表示方法
三地址语句的四元式表示
(- , c , , t1)
(* , b , t1 , t2)
(- , c , , t3)
(* , b , t1 , t4)
(+ ,t2 , t4 , t5)
(= , t5 , ,a)
课后题:
心得体会:
这一章虽然内容比较多,但我真正掌握的却精力不多,我把大多数的精力放在了逆波兰式、三元式序列、四元式序列以及给出一个C语言表达式翻译成四元式序列,至于中间语言和常见的语言翻译以及赋值语句则看得很少。