[高等教育]第二章 文法和语言的基本知识.ppt

问题： 一个编译程序的核心由哪几部分组成？ 词法分析 语法分析 语义分析 目标代码生成 词法规则 语法规则 语义的描述工具（动作） 词法规则 语法规则 第二章 文法和语言的基本知识 2.1 概述 1 语言概述 语言：语言可以看成在一个基本符号集上定 义的，按一定规则构成的基本符号串组成的所有 集合。 2.1 概述 1 语言概述 语言是由句子组成的集合，是由一组记号所构 成的集合。 汉语――所有符合汉语语法的句子的全体 英语――所有符合英语语法的句子的全体 程序设计语言――所有该语言的程序的全体 2.1 概述 1 语言概述 研究语言 每个句子构成的规律 每个句子的含义 每个句子和使用者的关系 2.1 概述 2 语言研究的三个方面 表示构成语言句子的各个记号 之间的组合规律，有词法规则和语法规则 表示按照各种表示方法所表 示的各个记号的特定含义 表示在各个记号所出现的 行为中，它们的来源、使用和影响 语法（Syntax）： 语义（Semantics）： 语用（Pragmatics）： 2.1 概述 3 形式语言理论（formal language theory） 由语言学家Noam Chomsky在1965年提出。 形式语言理论是一种从语法上研究语言的理论。 它是抽象的数学系统，着重研究符号串集合的表示法、结构及其特性。 是程序设计语言语法分析研究的基础，是编译的理论基础。 2.2 字母表和符号串的基本概念 1 字母表 是符号的非空有穷集合 用 表示 2 符号(字符) 字母表中的元素称为符号 是语言中最基本的不可再分的单位 2.2 基本概念 3 符号串(字) 符号串是字母表中符号组成的有穷序列 空串:不含有任何符号的串称为空串，记作 例： （1）符号“a”组成的字母表记作｛a｝; a,aa,a…a;都是字母表{a}上的符号串。 （2）符号“a”和“b”组成的字母表记作｛a,b｝; a,b,aa,bb,ab,ba,abb,baa,…都是字母表｛a,b｝ 上的符号串。 2.2 基本概念 符号串的长度：符号串中符号的个数。 空串 ：长度为0的符号串。 ：表示不含任何元素的空集{}。 注： 、{}、｛ ｝的区别。 （ 是一个符号串，不含任何符号;｛｝是一个集合，不含任何元素;｛ ｝是一个含用一个元素的集合，这个元素是一个 ） 2.2 基本概念 4 句子 字母表上符合某种规则构成的串 5 语言 字母表上句子的集合 2.2 基本概念－符号串的运算 1 符号串连接 连接符号串x、y，把y的符号串写在x的符号串之后得到的符号串; 即x、y的连接为xy。注意，一般xy yx。 　 符号串集合：若集合中所有元素都是某字母表上的符号串，则称之为该字母表上的符号串集合。 符号串连接的例子 例：x=abc y=10a xy=abc10a yx=10aabc 注：对任意的符号串，有 x=x =x 2.2 基本概念－符号串的运算 2 集合的乘积： AB={ x y | x A , y B } 满足条件的所有xy的集合。 例：符号串集合A＝{ab,aa},B={ba,bb} 乘积AB＝{abba,abbb,aaba,aabb} 注：{ε}A=A{ε}=A 2.2 基本概念－符号串的运算 3 符号串的幂运算 符号串自身连接n次得到的符号串 如：x的n次连接为xx…..x（n个x），也可 记作 注：x0＝ 2.2 基本概念－符号串的运算 4 集合的幂运算 集合A连接自身n次所得到的集合 假设A={a,b} A0={ } A1=A＝{a,b} A2=AA＝{aa,bb,ab,ba} A3=AAA＝{aaa,aab,…} 2.2 基本概念－符号串的运算 5 (1) 集合A的闭包 即：由A上符号串组成的所有串的集合（包括空 串