• 代码生成要考虑的主要问题 • 基本块的代码生成(在一个基本块范围内考虑如何充分利用寄存器的问题) • 从dag生成代码

Generate executable code for a target machine that is a faithful representation of the semantics of the source code Depends not only on the characteristics of the source language but also on detailed information about the target architecture, the structure of the runtime environment, and the operating system running on the target machine

一、 表达式的语义分析 二、语句的语义分析 三、赋值语句的语义分析 四、调用语句的语义分析 五、标号语句的语义分析 六、结构语句的语义分析

第八章语法制导翻译和中间代码生成 8.1概述 8.2属性文法和语法制导翻译 8.3语义分析 8.4中间代码 8.5一些语句的翻译

第2章PL/0编译程序 2.1PL/0语言和类pcode的描述 2.2PL/0编译程序的结构 2.3PL/0编译程序的语法语义分析 2.4PL/0编译程序的错误处理 2.5类 pcode代码解释器

第五章LL(1)文法及其分析程序 5.1预测分析程序 5.2LL(1)文法 1 FIRSTFOLLOW和集定义和计算 2 LL(1)文法定义 3 LL(1)分析程序的生成 5.3非LL(1)文法的改造

LR(0)方法不依赖输入流，直接判定归约， 容易出现冲突。 SLR(1)方法简单的把非终极符的follow集做 为可归约的依据，并不精确

编译程序设计时，除了需用到前介绍的分析技术和制导 翻译技术外，还要考虑如何从源程序数据空间映射到具体物 理存储空间，也就是运行时的数据表示。在运行时如何组织 或存放数据、在源程序中同名标识符是怎样描述不同的对象、 运行时的程序控制权是如何转移和参数是如何传递的以及如 何生成质量较高的目标代码都是编译程序设计者需考虑的问 题

它具有SLR(1)的状态数少的优点和LR(1) 的适用范围广的优点。 LALR(1)方法的功能介于SLR(1)和LR(1) 之间。 LALR(1)状态机的状态个数和LR(0)状态 机的状态个数相同，而其展望符则即不 采用SLR(1)的Follow集方法，也不采用 LR(1)的完全精确法

一个程序设计语言是一个记号系统，如自然语言一样， 它的完整的定义应包括语法和语义两方面。所谓一个语言的语 法是指一组规则，用它可以形成和产生一个合适的程序，目前 在程序设计语言的识别中广泛使用的是上下文无关的文法。在 这理主要介绍文法和语言的概念