编译程序构造与实践第二章.pptVIP

文法符号序号 后继符号结点指针 其中包含两类结点，一类结点结构形如： 另一类结点结构形如： 显然每一“列”（垂直链）中各结点相应的符号组成一个句型。 这易于用C语言结构类型实现。以最左推导的建立为例，程序控制流程示意图如下。 句型首符号结点指针 下一直接推导链头指针 ? 建立最左推导 置初值 把识别符号置为当前句型, 建立一“列”结点 当前句型中包含 N 非终结符号 Y 复制当前句型一“列”结点， 把所复制的作为当前句型，并 建立与原有当前句型的链接 取到当前句型的最左非终 结符号U相应的结点 以U为左部的 Y 规则仅一个 N 显示以U为左部的各规则 ? 用户选择一个规则， k=规则序号 关于规则k的右部生成结 点链，代替U相应的结点 出口 k=规则序号 * * 第二章 编译程序构造基础知识 讨论问题： 文法和语言的概念和定义 文法和语言的分类 文法等价变换 句型分析 简略回顾 ? 对程序的理解 程序是计算机执行的一系列指令； 　 程序是计算任务的 处理对象和处理规则的描述。 ? 对程序设计语言的理解 程序设计语言是程序的书写规范； 程序设计语言的要素： 一组记号(符号)和一组规则。 　 程序设计语言程序是 程序设计语言之符号集合上的、 按一定规则组成的符号串。 ?　语言是一切句子的集合； 程序设计语言是一切程序的集合； 　 把程序看做程序设计语言的句子。 ? 程序是(程序设计）语言的句子 ? 如何系统地构造程序？或者，一般地， 如何为一个(程序设计)语言生成句子？ 2.1 文法和语言 语言实际上是一个符号串集合； 文法规定语言中句子的构造规则。 句子是一个语言之字母表上按一定规则构造的符号串。 2.1.1 符号串与符号串集合 1. 字母表: 有穷非空的符号集合。 例 A={ a, b, c } ∑={ 0,1 } C语言字母表={ 字母，数字，界限符 } 不同的语言有不同的字母表。 字母表上的元素（即符号）组成符号串。