• 运行时刻环境 – 为数据分配安排存储位置 – 确定访问变量时使用的机制 – 过程之间的连接 – 参数传递 – 和操作系统、输入输出设备相关的其它接口 • 主题 – 存储管理：栈分配、堆管理、垃圾回收 – 对变量、数据的访问

• 运行时刻环境 – 为数据分配安排存储位置 – 确定访问变量时使用的机制 – 过程之间的连接、参数传递 – 和操作系统、输入输出设备相关的其它接口 • 主题 – 存储管理：栈分配、堆管理、垃圾回收 – 对变量、数据的访问

• 代码生成器的设计 • 目标语言 • 目标代码中的地址 • 基本块和流图 • 基本块优化 • 代码生成器 • 寄存器分配

• 语法分析器 • 上下文无关文法 • 语法分析技术 – 自顶向下 – 自底向上 • 语法分析器生成工具

7.2节要点: 1.属性文法(语法制导的定义)(Syntax-Directed- Definition)。 形式:每个产生式A→a对应与之相关联的一个语义规则(semantic rules) 集合,每条规则形如b:=f(C1,2,k),其中f是一个函数,bc1C2k是该 产生式中文法符号的属性(attributes),b有两个可能:(1)是A的综合属性 (synthesized attribute),(2)是a中文法符号的继承属性(inherited attribute) 函数f通常以表达式的形式出现

第七章语法制导翻译和中间代码生成 7.1语义处理概述 7.2属性文法和语法制导翻译 7.3中间代码生成(一些语句的翻译) 7.4符号表

第5章LL(1)文法及其分析程序 5.1自上而下的语法分析 5.2预测分析程序 递归下降子程序 表驱动的预测分析程序 5.3LL(1)分析程序的生成LL(1)文法 FIRSTFOLLOW和集定义和计算 5.4非LL(1)文法的改造

例1文法G0)s→s(1)s→aAd(2)S→bAc (3)s→aec(4)s→bed(5)A→e

• 中间代码表示 – 抽象语法树 – 三地址代码：x=y op z • 静态类型检查 – 类型检查（type checking） – 语法分析之后的抽象语法(syntax)检查，比如 break的位置，goto的目标…. • 中间代码生成

一、描述程序设计语言中单词的一种简单而且数学化的工具。 二、表示符号串的构成模式 三、正则表达式r定义了一个符号串集合rs