2.上下文无关语言.DOC

第三章 上下文无关语言 3.1语法分析树和派生 3.2 a. 利用语言A={ambncn | m,n?0}和A={anbncm | m,n?0}以及例3.20，证明上下文无关语言在交的运算下不封闭。 证明：a.先说明A,B均为上下文无关文法，对A构造CFG C1 S?aS|T|? T?bTc|? 对B,构造CFG C2 S?Sc|R|? R?aRb 由此知 A,B均为上下文无关语言。 但是由例3.20, A∩B={anbncn|n?0}不是上下文无关语言，所以上下文无关语言在交的运算下不封闭。 b.用反证法。假设CFL b. 利用(a)和DeMorgan律(定理1.10)，证明上下文无关语言在补运算下不封闭。 在补运算下封闭，则对于(a)中上下文无关语言A,B，,也为CFL，且CFL对并运算封闭，所以也为CFL，进而知道为CFL，由DeMorgan定律＝A∩B，由此A∩B是CFL,这与(a)的结论矛盾，所以CFL对补运算不封闭。 3.3设上下文无关文法G： R→XRX|S S→aTb|bTa T→XTX|X|ε X→a|b 回答下述问题： a. G的变元和终结符是什么？起始变元是哪个？ 答：变元是：R，X，S，T；起始变元是R。终结符是：a，b，ε b. 给出L(G)中的三个字符串。答：ab，ba，aab。 c. 给出不在L(G)中的三个字符串。答：a，b，ε。 d. 是真是假： 。答：假 e. 是真是假： 。答：真 f. 是真是假： 。答：假 g. 是真是假： 。答：假 h. 是真是假： 。答：真 i. 是真是假： 。答：假 j. 是真是假： 。答：真 k. 是真是假： 。答：真 l. 是真是假： 。答：假 3.4和3.5 给出产生下述语言的上下文无关文法和PDA，其中字母表?={0,1}。 ?,1 ?,1?? 1, ??1 0, ??? ?,1?? ?,1?? S→A1A1A1A A→0A|1A|? {w | w以相同的符号开始和结束} 1,??1 1,??1 1,??? 0,??? 0,??0 1,1?? 0,0?? A→0A|1A|? 1,? 1,??? 0,??? 1,??? 0,??? S→0A|1A A→0B|1B|? B→0A|1A {w | w的长度为奇数且正中间的符号为0} S→0S0|1S1|0S1|1S0|0 1, 1,??0 0,??? 0,??0 1,0?? 0,0?? ?,??$ ?,$?? 1,? 1,??1 ?,1?? 0,??0 ?,1?? ?,??$ ?,$?? 1,0?? 0,1?? S→A1A A→0A1|1A0|1A|AA|? {w | w=wR} S→0S0|1S1|1|0 1, 1,??1 0,??? 0,??0 1,1?? 0,0?? ?,??$ ?,$?? 1,??? ?,??? 空集 S→S 3.6 给出产生下述语言的上下文无关文法： 字母表{a,b}上a的个数是b的个数的两倍的所有字符串组成的集合。 S→bSaSaS|aSbSaS|aSaSbS|? b．语言{anbn|n?0}的补集。见问题3.25中的CFG: S→aSb|bY|Ta T→aT|bT|? c．{w#x | w, x?{0,1}*且wR是x的子串}。 S→UV U→0U0|1U1|W W→W1|W0|# V→0V|1V|? d．{x1#x2#?#xk|k?1, 每一个xi?{a,b}* , 且存在i和j使得xi＝xjR}。 S→UVW U→A|? A→aA|bA|#A|# V→aVa|bVb|#B|# B→aB|bB|#B|# W→B|? 3.9 给出产生语言A={aibjck| i,j,k?0且或者i=j或者j=k}的上下文无关文法。你给出的文法是歧义的吗？为什么？ 解：下面是产生A的一个CFG: S?UV|AB U?aUb|? V?cV|? A?aA|? B?bUc|? 这个CFG是歧义的，因为字符串abc有如下两种不同的最左派生： S?UV?aUbV?abV?abcV?abc S?AB?aAV?aV?abVc?abc 3.14 用定理3.6中给出的过程，把下述CFG转换成等价的乔姆斯基范式文法。 A?BAB|B|? B?00|? 解：添加新起始变元S0, 去掉B?? S0?A S0?A A?BAB|B|? A?BAB|AB|BA|B|? B?00|? B?00 去掉A??, 去掉A?B S0?A S0?A A?BAB|AB|BA|B|BB A?BAB|AB|BA|00|BB B?00 B?00 去掉S0?A, 添加新变元 S0?BAB|AB|BA|00|BB S0?VB|AB|BA|UU|BB A?BAB