编译原理：文和语言.ppt

第二章 文法和语言 2.1 文法的直观表示 2.2 符号和符号串 2.3 文法和语言的形式定义 2.4文法的类型 2.5 上下文无关文法及语法树 2.6 句型分析 2.7 文法的实用限制 第2章 文法和语言 【学习目标】 本章是为语言的语法描述寻求工具 ◇ 掌握对程序设计语言给出精确、无二义（严谨、易读）的语法描述的手段之一——文法。 ◇ 对形式语言的理论有一个初步基础 ◇ 根据文法的特点指导语法分析过程 2.1 文法的直观表示 文法：阐明语法的一个工具，也可以说是以有穷的集合刻画无穷的集合的一个工具。 语言：程序设计语言。 一、语言概述 语言是由符合语法的句子组成的集合。 汉语--所有符合汉语语法的句子的全体 英语--所有符合英语语法的句子的全体 程序设计语言--所有该语言的程序的全体每个句子构成的规律——语法 研究语言 每个句子的含义 ——语义每个句子和使用者的关系——语用 形式语言：只考虑语法而不考虑语义的符号语言。 每种语言具有两个可识别的特性 语言的形式 与该形式相关联的意义 “形式”指语言的所有规则，描述出现什么符号串 语言可以看成在一个基本符号集上定义的，按一定规则构成的基本符号串组成的所有集合。 形式语言理论是对符号串集合的表示法、结构及其特性的研究，是程序设计语言语法分析研究的基础。 表达语言时，一般无法穷尽语言的所有句子，常用规则加以描