第2章 文法和语言的形式定义.pdf

仅用于教学 最后更新：2014年9月30日 编译程序的结构 第2章 表 格 处 理 文法和语言的形式定义 词 语 语 代 代 法 法 法 法 义 义 码 码 码 码 分 分 分 优 生 源程序 目标程序 伍 春 香 析 析 析 化 成 wuchxcourse@ 武 汉 大 学 计 算 机 学 院 出 错 处 理 本章内容简介 学习目标 掌握 ◆◆ 文法的形式定义 文法、语言的形式定义 ◆◆ 语言的形式定义 文法的构造方法 ◆◆◆◆ 为语言构造文法为语言构造文法 由文法推导出语言由文法推导出语言 ◆◆ 和语法分析有关的概念 语法树 文法二义性的判定 ◆◆ 文法的实用限制 了解 文法的压缩 第2章 文法和语言的形式定义 形式语言 编译程序使得高级语言源程序所描述的功能得以 形式语言 在计算机上实现。编译程序的设计者就是高级语言的 人们把用一组数学符号和规则来描述语言的方式称为形式 实现者，源程序的编写者就是高级语言的使用者，他 描述，而把所用的数学符号和规则称为形式语言。 们必须们必须遵循同样的准则遵循同样的准则———— 高级语言程序的构成规则高级语言程序的构成规则，， 形式语言就是一组“游戏规则”。 才能使写出的源程序能够被成功地翻译，文法描述的 就是高级语言程序的构成规则。 形式语言，只是从语法上研究语言。 形式语言和编译理论中的最基本概念是符号串和符号串 文法必须精确、严格定义——形式化方法。 集合。 1