如何证明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

好吧，为了从L到L1，你需要在a，b和c上强加一个排序。有一种非常简单的常规语言可以与L相交以强加这种顺序 - 你能看出它是什么吗？

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