上下文无关语言习.docVIP

第3章、上下文无关语言习题解答 - 练习 3.1 回忆一下例3.3中给出的CFG G4。为方便起见，用一个字母重新命名它的变元如下： E→E＋T|T T→T×E|F F→（E）|a 给出下述字符串的语法分析树和派生。 a a+a a+a+a ((a)) 答： 3.2 a. 利用语言A={ambncn | m,n?0}和B={anbncm | m,n?0}以及例3.20(语言B={anbncn | n?0}不是上下文无关的)，证明上下文无关语言在交的运算下不封闭。 b. 利用(a)和DeMorgan律(定理1.10)，证明上下文无关语言在补运算下不封闭。 证明： a.先说明A,B均为上下文无关文法，对A构造CFG C1 S?aS|T|? T?bTc|? //生成bncn 对B,构造CFG C2 S?Sc|R|? R?aRb |? //生成anbn 由此知 A,B均为上下文无关语言。 由例3.20, A∩B={anbncn|n?0}（假设m≤n）不是上下文无关语言，所以上下文无关语言在交的运算下不封闭。 b. 用反证法。 假设CFL在补运算下封闭，则对于(a)中上下文无关语言A,B，,也为CFL。因为CFL对并运算封闭，所以也为CFL，进而知道为CFL。由DeMorgan定律，得出是CFL。 这与(a)的结论矛盾，所以CFL对补运算不封闭。 3.3 设上下文无关文法