context-free-grammar - 如何使用闭包证明 L={w|#a(w)=#b(w)=#c(w)} 不是上下文无关的

Question

如何L={w|#a(w)=#b(w)=#c(w)}使用闭包证明该语言不是上下文无关的？

谢谢

编辑 ：

我知道该语言L1 = {a^i b^i c^i | i>=0}不是上下文无关语言。现在我正在尝试寻找另一种语言L2，其中L2将是常规语言，以产生矛盾，因为如果L1是上下文无关的并且L2是常规语言，那么L1∩L2也是上下文无关的。

Answer 1

好吧，为了从 to 得到L，L1您需要对 a、b 和 c 进行排序。有一种非常简单的常规语言可以相交L以强制执行这种排序 - 你能看到它是什么吗？

如果你知道如何L3 = { w | #0(w) = #1(w) }使用闭包属性证明它是非常规的，那么这个证明真的很相似。