如何用以下条件表明语言L不是无上下文的？

Question

如果我们有语言

现在我必须使用不具有上下文的语言K以及无上下文语言与常规语言的交集是无上下文来表示语言

不是上下文。

希望有人可以提供帮助

Answer 1

L与a + b + a + b +相交为K.既然你知道K不是cf，那么引理就不能与L相符。