西北工业大学编译原理课件第二章 前后文无关文法和语言1.pptVIP

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