Chapter2-2 语言的形式化定义基础.pptVIP

Chapter2-2 语言的形式化定义基础 语言的形式化定义基础 以下给出若干本书用到的基本语言形式化定义的基本概念 以便于读本书时理解 字母表 字母表(符号集) 由符号组成的集合，如字母表A={a,b,c} a,b,c称为符号，一般为常量，也可以是变量，根据具体上下文确定。 符号串 符号串 A={a,b,c}是一个字母表，则a,b,c,ab,ac,bc,abc,aabc等都是字母表A上的符号串。 设?,?,?，x 是符号串， 若x = ???,则称?是x的子串； 特别地，当?= ? （?= ?）时，称 ?是x的前（后）缀,若? ? x，则称?是x的真前（后）缀 符号串操作 符号串长 |ab|=2，长度为0的符号串，记为ε 符号串连接的特征 εx 符号串集合的操作 符号串集合的和（并集） A + B = {w| w ? A 或 w ?B}，其中A,B为符号串的集合 符号集合和运算（并运算）的特征 符号集合连接运算的特征 符号集合连接运算的特征 {ε}A 符号集合的闭包 文法形式定义和语言的Chomsky分类 文法形式定义 G=(VN, VT, P, S)，其中VN ? VT = ?, VN ? VT = V 四类基本的文法 Chomsky将文法按产生语言的能力由强到弱分为四类基本的文法 0型文法（短语结构文法，PSG） 1型文法（前后文有关文法/上下文相关的文法，CSG） 2型文法（前后文无关的文法/上下文无关的文法，CFG） 3型文法（正规文法，RG） 0型文法（短语结构文法，PSG） 若文法G中任一产生式都有一般形式 ??? ??V+ ??V* 其中，对?，? 不加任何限制 PSG: Phrase Structure Grammar)。由0型文法生成（或者说：定义）的语言称为0型（递归可枚举）语言。它可由图灵（Turing）机识别。 0型文法（短语结构文法，PSG） 文法G[S] S?ACaB Ca?aaC CB?DB CB?E aD?Da AD?AC aE?Ea AE?? 就是一个0型文法，它所产生的语言为 1型文法（前后文有关文法，CSG） 若一0型文法所有产生式具有形式（第一定义） ?1A?2? ?1??2 其中， ?1,?2?V* ??V+ A?VN | ?1A?2 |=| ?1??2 |，例外S-?(S为起始符）且S不出现在任何产生式的右侧。 CSG ( Context Sensitive Grammar) 。1型文法产生的语言称为前后文有关语言CSL，它可由线性限界自动机识别。 CSG第一定义 根据定义，含有?产生式的文法不是1型文法。但S-? （S为起始符）可作为1型文法的特例而接受之，条件是S不出现在所有产生式的右边。 例 文法G： S?? | A A?aABC A?abC CB?BC bB?bb bC?bc cC?cc 因G含有S?? ，但S不出现在所有产生式的右侧，按第一定义，G仍被认为是1型文法。 CSG第二定义 1 型文法还有另一种定义形式（第二定义）： G的每个产生式形为???且满足： | ? |? | ? | ?,? ?V+ 第二定义产生的语言=第一定义产生的语言-{?}，即S-?不可能存在于第二定义中。 今后，我们采用第一定义。 2型文法（前后文无关的文法，CFG） 若一1型文法G中所有产生式具有形式: A?? 其中， ??V+， A?VN CFG(Context Free Grammar)。2型文法产生的语言称为前后文无关语言CFL，它可由下推自动机识别。 非严格CFG允许?-产生式存在，即非严格CFG产生式形式为 A?? 其中，??V*，A?VN 2型文法（前后文无关的文法，CFG G[S]=({S},{a,b}, {S?aSb S?ab}, S) 产生的语言为 3型文法（正规文法，RG） 若一2型文法G中仅含有形如 A?aB 或 A?a 的产生式， 其中 A,B ?VN , a ?VT 则称G为右线性文法。 类似地，若G中仅含有形如 A?Ba 或 A?a的产生式， 则称G为左线性文法。 3型文法（正规文法）的产生式只有上述两种形式。 3型文法（正规文法，RG） RG（Regular Grammar）