语义分析和中间代码产生

F.node:= E.node
⑻ F → id
F.node := mkleaf(id, id.entry)
⑼ F → num
F.node := mkleaf(num, num.val)
*
生成dag的语法制导定义
*
7.2 声明语句的翻译
声明语句的作用 为程序中用到的变量或常量名指定类型 类型的作用 类型检查：类型检查的任务是验证程序运行时的行为是否遵守语言的类型的规定，也就是是否符合该语言关于类型的相关规则。 辅助翻译：编译器从名字的类型可以确定该名字在运行时所需要的存储空间。在计算数组引用的地址、加入显式的类型转换、选择正确版本的算术运算符以及其它一些翻译工作时同样需要用到类型信息。 编译的任务 在符号表中记录被说明对象的属性(种别、类型、相对地址、作用域……等) ，为执行做准备
P→MD M→ {offset := 0 }
*
7.2.4 过程内声明语句的翻译
*
enter(x,real,0)
offset=0
offset=8
T.type=real T.width=8
offset=12
T.type=integer T.width=4
enter(i,integer,8)
D→id : T {enter( , T.type, offset ); offset := offset + T.width}
7.2.1 类型表达式
*
*
5．类型构造符record作用于由域名和域类型所形成的表达式也是类型表达式。记录record是一种带有命名域的数据结构，可以用来构成类型表达式。例如，下面是一段Pascal程序段： type row = record address: integer; lexeme: array[1..15] of char end; var table : array [1..10] of row; 该程序段声明了表示下列类型表达式的类型名row： record ((address×integer)×(lexeme×array (1..15, char)))

N→ Є
D →id: T { enter(top(tblptr), , T.type, top(offset)); top(offset):= top(offset) +T.width } 24
§7.2
说明语句
2.含嵌套说明的翻译模式：
(1)语义规则中的操作: Mktable (previous): 创建一张新符号表,并返回指向新表的一个指针; Enter (table, name, type, offset):
(2)置相对地址为当前offset之值， (3)使offset加上该名字所表示的数据对象的域宽。
20
§7.2 说明语句
3. 相应的翻译模式：
PD { offset:=0 } { enter (, T.type,offset);
DD;D
Did:T
offset:=offset+t.width } Tinteger
(0) (1) (2) (3) (4) (5)
(2) (3) (4)
16
§7.１ 中间语言
4.间接三元式：便于代码优化处理
方法：间接码表+三元式表
按运算的先后顺序列出有关三元式在三元表中的位置 例: 语句X:=(A+B)*C;Y:=D↑(A+B)的间接三元式表示如下所示: 间接代码 三元式表 (1) (2) (3) (1) (4) (5)
30
已归约串
PLACE
输入串
语义动作
# #X # X:= # X:= # X:= # X:= # X:=
X:= -B*(C+D)# X := -B*(C+D)# X_ -B*(C+D)# X__ B*(C+D)# -B X__B *(C+D)# -E X__B *(C+D)# { E.place:=p=<B>} E1 X_T1 *(C+D)# {E1.place:=newtemp=T1; 生成四元式(1) } … … … … # X:=E*(C X_T1__C +D)# # X:=E*(E1 X_T1__C +D)# { E1.place:=p=<C> } … … … …

编译原理-题库1、关于有限自动机叙述正确的是（）A、有限自动机分为确定的有限自动机和不确定的有限自动机B、有限自动机可由状态转换图表达C、有限自动机可由状态转换矩阵表达D、有限自动机可以识别正规集答案：ABCD2、编译原理各阶段的工作都涉及到（）A、表格管理B、语法分析C、出错处理D、代码优化答案：AC3、程序语言一般分为（）和（）A、高级语言B、专用程序语言C、低级语言D、通用程序语言答案：AC4、高级语言的翻译方式有（）和（）A、汇编方式B、模拟方式C、解释方式D、编译方式答案：CD5、语法分析器的常用方法是（）A、自顶向下B、自底向上C、自左向右D、自右向左答案：AB6、请说明你使用的语法分析方法（）A、LL1B、OPGC、LRD、YACC答案：ABCD7、数据的逻辑结构有哪些（）A、集合结构B、线性结构C、树形结构D、图形结构答案：ABCD8、NFA与DFA的不同之处（）A、初态定义不同B、字母表定义不同C、转换函数定义不同D、终态定义不同答案：AC9、A、B、C、D、答案：A 10、A、B、C、D、答案：C 11、A、是B、不是C、无法判断D、可能答案：A12、A、上下文有关B、上下文无关C、正则D、0型答案：C13、A、B、C、D、答案：D14、A、B、C、D、答案：D15、LL(1)文法的充要条件是（ ）。

A、B、该文法对应的LL(1)分析表中每个项目最多只有一条产生式。

C、A和BD、都不是答案：B16、文法A->aAb|ab生成的语言是（ ）。

A、{ab}B、{aAb}C、D、答案：C17、以下说法中正确的是（ ）A、B、C、D、答案：B18、8. 正则式的“*”读作（ ）。

A、并且B、连接C、正则闭包D、闭包答案：D19、一个LR(0)文法一定是SLR(1)文法。

答案：正确20、在类型声明文法中，类型属性type是继承属性。

答案：正确21、在构造递归下降伪代码时，将非终结符A翻译为一个匹配过程match（A）。

控制流分析和数据流分析案例
总结词
控制流分析和数据流分析是编译器设计中两种重要的 语义分析技术。
详细描述
在控制流分析案例中，我们以一个具有条件语句和循环 的程序为例，分析其控制流图（Control Flow Graph， CFG）。CFG是一个有向图，用于表示程序中各个基本块 之间的控制流程关系。通过CFG，编译器可以检测到潜 在的程序错误，如死代码和无限循环。在数据流分析案 例中，我们使用数据流方程来跟踪程序中变量的值在执 行过程中的变化。我们以一个简单的程序为例，该程序 包含一个变量在函数调用后被修改的情况。通过数据流 分析，我们可以确定变量的最新值，以便在后续的语义 分析中使用。
定义
三地址代码是一种中间代码形式，它由一系列的三元组操作数和 操作符组成。
特点
三地址代码具有高度规范化，易于分析和优化，且易于转换成目 标代码。
常见形式
常见的三地址代码有三种基本形式，即加法、减法和赋值。
循环优化
定义
循环优化是指在编译过程中，对循环结构进行优化， 以提高目标代码的执行效率。
常见方法
将源程序分解成一个个的词素或标记。
语法分析
根据语言的语法规则，将词素或标记组合成一个个的语句或表达式。
语义分析
对语法分析得到的语句或表达式进行语义检查，确保其语义正确。
中间代码生成
基于语义分析的结果，生成中间代码。
02
语义分析技术
类型检查
类型检查是编译过程中对源代码进行语义分析的重要环节，其主要目的是 确保源代码பைடு நூலகம்类型安全。
常见的循环优化方法包括循环展开、循环合并、循环 嵌套等。
优化效果
通过循环优化，可以减少循环的次数，提高程序的执 行效率。