第2章 前后文无关文法和语.pptVIP

第二章 前后文无关文法和语言 在20世纪50年代，N.Chomsky首先对语言的描述问题进行了探讨。他提出了一种用来描述语言的数学系统，并以此定义了四类性质不同的语言，称为语言（文法）的Chomsky分类。 人们把用一组数学符号和规则来描述语言的方式称为形式描述，把所用的数学符号和规则称为形式语言。 目前，形式语言与自动机理论已成为计算机科学中的一个重要分支。 本章将初步介绍形式语言中的某些基本概念和知识，重点是与编译技术密切相关的一些术语和概念，诸如文法、语言、句子、句型、短语、句柄以及句型分析等。 2.1 文法及语言的表示 首先，我们确定一个概念：什么是语言？ 据统计，目前在世界各地，人们所使用的语言达2700多种。 Webster的定义：“为相当大地区的公众所懂得并使用的‘话’，以及组成这些‘话’的方法的统一体” 上述定义对于建立语言的数学理论的目的而言不够精确。 所以，有人又将语言定义为：“某一字母表上符号串（句子）的集合” 此定义仍需精确化。因为： 1）还应为所定义的句子提供一种结构性的描述（语法规则）； 2）最好能再提供一种手段，以便能准确地判别什么是该语言中的正确句子（即识别方法、分析方法等）。 2.2 文法和语言的定义2.2.1 基本概念和术语 1。字母表（符号表、符号集） 由若干元素（符号、字母）组成的有限非空集合。例：?={a，b，c} 2。符号串 用字母表