如何使用闭包证明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) }是非正则的，那么这个特性的证明是非常相似的。