第二章 上下文无关文法和语言.pptVIP

第二章 上下文无关文法和语言 §2.1 文法和语言的表示 §2.2 文法和语言的定义 §2.3 句型的分析 §2.4 文法的实用限制和其他表示法 §2.5 文法和语言的Chomsky分类 提要 所谓形式化方法，简单地说，就是用一整套带有严格规定的符号体系来描述问题的理论和方法，用形式化方法描述的语言（语法和语义）便是形式语言。 本章将从形式语言的角度系统地介绍什么是程序设计语言的文法，文法和语言的关系等问题，本章是本课程的理论基础。 §2·1 文法和语言的表示 语言的定义可采用下列三种方法 1.枚举法——把该语言的所有句子列出放 在一集合内。（有限个句子时） 2.有限条规则——描述语言的全部句子。 （有限或无限个句子），即文法表示 3.装置——检验和识别句子。 （有限或无限个句子）即自动机 §2·2 文法和语言的定义 §2·2·1、 基本概念和术语 3 、字母表∑上的符号串的递归定义。 （1）ε是∑上的符号串 （2）若x是∑上的符号串，且a∈∑, 则xa或ax是∑ 上的符号串 特别：ε x = x ε= x （3）若y是∑上的符号串， 当且仅当y可由（1）和（2）产生。 5 、符号串的前缀、后缀和子串： 前