第二章 上下文无关文法与语言.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 、符号串的前缀、后缀和子串： 前缀：设x是一符号串，从x的尾部删去若干个（包括 0个）符号之后所剩余下的部分称为x的前缀 ; 若x的前缀不是x本身，则称为x的真前缀。 后缀：设x是一符号串，从x的头部删去若干个（包括 0个）符号之后所剩余下的部分称为x的后缀 ; 若x的后缀不是x本身，则称为x的真后缀。 子串：从一个符号串中删去它的一个前缀和一个后缀 之后所剩下的部分称为此符号串的子串。 若x的子串不是x本身，则称为x的真子串 5、符号串的长度：符号串所含符号的个数 6 、符号串的连接和方幂 连接：设有符号串x,y，把y的符号写在x的符号 之后所得的符号串，叫做x与y的连接， 记xy 方幂：设有符号串x，则x的n次自身连接称为x的 n次方幂，记为xn 特别:x0 = ε 7 、符号串集合A与B的和与积： 和： A+B={w|w ∈A或w ∈B} 积： AB={xy|x ∈A且y ∈B} 8 、符号串集合的方幂： 设有符号串集合A 则定义A0 = {ε} A1=A A2=AA An=AA……A n个 9 、 符号串(符号）集合的正闭包 设A为符号集合，则定义A的正闭包A+为： A+=A1∪A2 ∪ A3 ∪… … ∪ An ∪ … … 例:设Ａ={b , c} 则 A＋={b , c} ∪{bb,bc,cb,cc} ∪ … … = {b , c, bb，bc，cb，cc, bbb，bbc ，bcb ，bcc ，cbb ，bcb ，ccb ， ccc……} 10 、 符号串（符号）集合的闭包A* 设A为符号集合，则定义A的闭包A*为： A*=A0 ∪ A+= {ε} ∪ A+ (4) 文法的四元组表示 G=(Vn, Vt , P, Z ) 其中 Vn ：非终结符号集 Vt ：终结符号集 P：规则的集合 Z：文法的开始符号 文法的BNF（巴斯科范式）表示 规则中有相同的左部时：V→ x V → y … V → z 写成：V →x|y|…|z （’|’表达‘或’） 元符号： →(::=），| ， , 元语言: 元符号处理的语言 由元符号组成的巴科斯范式(元语言公式)式用 以描述算法语言的元语言 例:G=(Vn,Vt,P,S) 其中: Vn={S,A,B} Vt={a,b} S:文法的开始符号 P: S →