计算理论课后题详解与答案解析.pdfVIP

第三章上下文无关语言

略。

正中间的符号为中比多空集给出产生下述语言的上下文无关文法字母表上的个数是的个数的两倍的所有字符串组成的集合语言的补集见问题中的且是的子串每一个且存在和使得略证明在节开始部分给出的文法中字符串有两个不同的最左派生叙述这句话的两个不同意思句子名

mnnnnm

a.利用语言A={abc|m,n0}和A={abc|m,n0}以及例，

证明上下文无关语言在交的运算下不封闭。

b.利用(a)和DeMorgan律(定理，证明上下文无关语言在补运算

下不封闭。

证明：a.先说明A,B均为上下文无关文法，对A构造CFGC1

SaS|T|

串分情况可以如下抽取若则取则对若且不同时为不妨设取则对若且取则对若则不同时为不妨设取则对不是上下文无关语言事实上若为上下文无关语言另取正则语言由问题可知是上下文无关的但这与不是一个上