形式语言与自动机课件——上下文无关语言的性质.pptVIP

fall 2001 §4.6 上下文无关语言的性质 2型语言的泵浦引理 2型语言的封闭性 2型语言的判定问题 二义性问题 1. 2型语言的泵浦引理 设L是上下文无关语言，存在常数p，如果ω∈L，且︱ω︱≥p，则ω可以写为ω＝ω1ω2ω0ω3ω4，使ω2ω3≠ε，∣ω2ω0ω3∣≤p，对于i≥0有ω1ω2iω0ω3iω4∈L。（不含L＝{ε}的情况） 物理意义: 线性语言的泵浦引理是说，在正规集合中，每个足够长的字符串都包含一个短的字串，随便将这个子串在原处重复插入多少次，所得的新字串还是在原正规集中。 2型语言的泵浦引理是说，有两个靠得很近的子串，它们可以重复任意多次（但二者重复的次数相同），所得的新串依然属于该2型语言。 §4.7 受限型上下文无关文法 对文法的生成式形式加以某些限制＝ 受限型文法 一、线性文法：生成式为A→ω1Cω2 或 A→ω1 形式的2型文法,其中ω1、ω2∈ T* , A,C∈N ,且ω1ω2≠ε。 由线性文法产生的语言称为线性语言。 正则文法为线性文法。反之不成立。 例：G1＝（{S},{a,b},P,S） S→aSa︱bSb︱ε L(G1)＝{ωω︱ω∈{a,b}* } 例：G2＝（{S},{a,b},P,S） S→aSb︱ab L(G2)＝{anbn ∣n≥1} L(G1)和L(G2)都是线性语言，但不是正则集。 二、顺序文法： 设G＝（N,T,P,S）,若非终结符可被排序为A1A2…An，N＝{A1,A2,…,An}，当P中有生成式Ak→β，则β内不含有lk的Al。此时称文法G为顺序文法。 由顺序文法产生的语言为顺序语言。 例：（书P181,例2） 第四章 上下文无关文法与下推自动机 推导树与二义性 上下文无关文法的变换 Chomsky范式和Greibach范式 下推自动机 上下文无关文法与下推自动机 上下文无关语言的性质 受限型上下文无关文法 练习题 证明L={ambn|n=m2}不是2型语言。 L={??|??{a,b}*}，求产生L的Greibach范式文法G，及空栈接受L的NPDAM。 L={?|??{a,b}*且?含a,b的个数相同}，求产生L的Greibach范式文法G，及空栈接受L的NPDAM。 *College of Computer Science Technology, BUPT 设G是Chomsky文法（形如A→BC,A→a）,产生语言L－{ε}, 若ω∈L且ω有一定的长度，则边缘为ω的推导树有一定长度的路径。 对于Chomsky范式，设路径长度为n，则有边缘长度 ︱ω︱≤ 2n－1 ，如下图所示 证明： S a A 路径 ＝1 ︱ω︱＝︱a︱＝21－1 ＝1 S A B a A a A 路径 ＝2 ︱ω︱＝︱aa︱＝22－ 1 ＝2 设文法G有n个非终结符，取p＝2n ,若ω∈L，且︱ω︱≥p （即︱ω︱≥ 2n ）,则必有︱ω︱≥ 2n－1 ，即存在一条长度 n的路径，至少为n+1。这时,该路径上的结点数为n+2(包括最高层顶点及最底层叶子）。 ∵G中只有n个非终结符 ∴在这条路径上必然有某两个结点相同 S a a a a a 路径＝4 ︱ω︱≤24-1＝8 （第i层最多有2i 个非终结符。第i+1层若全为终结符，则与第i层非终结符个数相等。） 设为v1= v2=A, v1靠近树根，v1到叶子的最长路径为n+1。 形如 如图：Z1＝ω2ω0ω3 ︱Z1∣≤2 n ＝p （∵v1到叶子的路径最多为n+1） 而v1 * =ω2v2ω3， v2 * =ω0 ∵v1＝v2＝A ∴v1 * =ω2v2ω3 =ω2ω2v2ω3ω3 =ω2iω2v2ω3ω3i =ω2iv2ω3i =ω2iω0ω3i ∴ S =ω1ω2ω0ω3ω4 * =ω1ω2i ω0ω3iω4 S C A B A B C B A B B b b b b b b 路径P 在该路径上： v1靠近根，其子树为T1，边为Z1 v2远离根，其子树为T2，边为ω0 ω2 ω0 ω3=ε ω4 ω1 2型文法泵浦引理的用途：判断一给定语言不是上下文无关文法。 思路：用反证法。 例：证明 L＝{anbncn ∣n≥1 不是2型语言} 证：假设L是2型语言。 取常数p，ω＝apbpcp ,∣ω∣＝3p≥p 将ω写成ω＝ω1ω2ω0ω3ω4, 其中∣ω2ω3∣≥1 且 ∣ω2ω0ω3∣≤p. 考虑ω2ω0ω3在ω中所处的位置： ①如果ω2含有