25语言及文法要点.ppt

fall 2001 第二章 语言及文法 主要内容： 定义形式语言的术语 给出文法的定义和文法的分类 要求掌握： 语言和文法的形式定义 CHOMSKY文法体系的分类。 第一节 语言的定义与运算 一、语言的一些术语： 字母表： 字符的有限集合，记为T。 字符串： 由字母表T中的字符构成的序列称字母表T上的字符串（句子）。 常记为u,v,w,x,y,z； 常用a,b,c,d 标识单个字符。 第二节 文法 定义：所谓文法是用来定义语言的一个数学模型 表示语言的方法： 若语言L是有限集合，可用列举法 若L是无限集合（集合中的每个元素有限长度），用其他方法。 方法一：文法产生系统，由定义的文法规则产生出语言的每个句子 方法二：机器识别系统：当一个字符串能被一个语言的识别系统接受，则这个字符串是该语言的一个句子，否则不属于该语言。 元语言 定义：描述语言的语言 例如：各种各样的程序设计语言 当人们要解释或讨论程序设计语言本身时，又需要一种语言，被讨论的语言叫做对象语言，即某种程序设计语言，讨论对象语言的语言称为元语言。 BNF（巴科斯范式） BNF范式通常被作为讨论某种程序设计语言语法的元语言 数字 ::= 0|1|2|……9 ::= “定义为” 字母 ::= A|B|C|……Z|a|b|……z 标识