第三章词法分析及其自动构造 词法分析程序的设计原则,单词的描述技术,识别机制及词法分析程序的自动构造原理

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

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

第十二章代码生成 1、代码生成要考虑的主要问题 2、基本块的代码生成(在一个基本块范围内考虑如何充分利用寄存器的问题) 3、从dag生成代码

第四章文法和语言 本章目的 为语言的语法描述寻求工具工具要对程序设计语言给出精确无二义的语法描述。(严谨、简洁、易读) 形式工具--形式语言抽象地定义为一个数学系统。“形式”是指这样的事实:语言的所有规则只以什麽符号串能出现的方式来陈述

语义分析 通常包括: (1)类型检查。验证程序中执行的每个操作是否遵守语言的类型系统的过程,编译程序必须报告不符合类型系统的信息。 (2)控制流检查。控制流语句必须使控制转移到合法的地方。 (3)一致性检查。在很多场合要求对象只能被定义一次。例如Pascal语言规定同一标识符在一个分程序中只能被说明一次等等。 (4)名字的作用域分析

一、词法分析与词法分析程序 1.词法分析的任务是识别源程序中具有独立含义的最小语法单位-符号或单词,如 标识符,无正负号常数与界限符等。并把源程序转换为等价的内部表示形式 2.功能: 读入源程序字符串;识别单词(符号); 转换成属性字; 一些其他的简单工作:删除注解,预加工处理

由于自顶向下分析技术是一个从识别符号开 始逐步构造最左推导的过程。每一步都将最 左的非终结符号替换为其相应规则的右部。 ·开始时,句型就是由一个识别符号组成的。 每次选择规则之后,替换最左非终结符号, 得到一个新的句型。 由于在一般的情况下,一个非终结符号对应 有多个规则。具体选择哪个规则将是自顶向 下分析技术所需要解决的主要问题

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

一、LRSM给出了所有的可归活前缀 二、LRSM中的每个状态将对应一个饱和项目集： （1）其中一部分是由先驱状态分出来(称为基本项目)； （2）一部分则是由基本项目扩展出来的(称为扩展项目或派生项目)。派生部分项目的特点是其中的