计算理论课后-题及答案2.docVIP

第三章 上下文无关语言 3.1 略。 3.2 a. 利用语言A={ambncn | m,n?0}和A={anbncm | m,n?0}以及例3.20，证明上下文无关语言在交的运算下不封闭。 b. 利用(a)和DeMorgan律(定理1.10)，证明上下文无关语言在补运算下不封闭。 证明：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在补运算下封闭，则对于(a)中上下文无关语言A,B，,也为CFL，且CFL对并运算封闭，所以也为CFL，进而知道为CFL，由DeMorgan定律＝A∩B，由此A∩B是CFL,这与(a)的结论矛盾，所以CFL对补运算不封闭。 3.3 略。 3.4和3.5 给出产生下述语言的上下文无关文法和PDA，其中字母表?={0,1}。 ?,1?? ?,1?? 1, ??1 0, ??? ?,1?? ?,1?? S→A1A1A1A A→0A|1A|? {w | w以相同的符号开始和结束} 1,??11,??? 1,??1 1,??? 0,??? 0,??0 1,1?? 0,0?? A→0A|1A|? 1,???0, 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 ?,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.7 略。 3.8 证明在3.1节开始部分给出的文法G2中，字符串the girl touches the boy with the flower有两个不同的最左派生，叙述这句话的两个不同意思。 句子 ?名词短语动词短语 ?复合名词动词短语 ?冠词名词动词短语 ?a_名词动词短语 ?a_girl_动词短语 ?a_girl_复合名词 ?a_girl_动词?名词短语 ?a_girl_touches_?名词短语 ? a_girl_touches_复合名词介词短语 ?a_girl_touches_冠词名词介词短语 ?a_girl_touches_the_介词复合名词 ?a_girl_touches_the_boy_介词短语 ?a_girl_touches_the_boy_介词复合名词 ?a_girl_touches_the_boy_with_复合名词 ?a_girl_touches_the_boy_with_冠词名词 ?a_girl_touches_the_boy_with_the_名词 ?a_girl_touches_the_boy_with_the_flower 含义是 ：女孩碰这个带着花的男孩 句子 ?名词短语动词短语 ?复合名词动词短语 ?冠词名词动词短语 ?a_名词动词短语 ?a_girl_动词短语 ?a_girl_复合动词介词短语 ?a_girl_动词?名词短语介词短语 ?a_girl_touches_?名词短语介词短语 ?a_girl_touches_冠词名词介词短语 ?a_girl_touches_the_?名词介词短语 ?a_girl_touches_the_boy_介词短语 ?a_girl_touches_the_boy_介词复合名词 ?a_girl_touches_the_boy_wit