intersection - 上下文无关语言未在交叉点下关闭

Question

我在维基百科上找到了这个解决方案。不应该说：j>n≥0 因为交集是两种语言中共有的元素。

考虑由 L1={a^(n)b^(n)c^(j)| 定义的语言 L1 和 L2 n,j ≥ 0} 和 L2 = {a^(j)b^(n)c^(n): n,j ≥ 0}。它们都是上下文无关的。但是，它们的交集是语言 L = {a^(n)b^(n)c^(n)| n≥0}。

Answer 1

不，不应该。j和n之间没有关系。在 L1 中，唯一的条件是 a 和 b 的数量相等。c的数量是多还是少并不重要。同样在 L2 中，b 和 c 的数量相等。a 的数量是多还是少（比 b 和 c 的数量）并不重要。然而，交叉点将具有同时落在 L1 和 L2 中的那些字符串，即（a 和 b 的数量相等）AND（b 和 c 的数量相等），这意味着 a、b 和 c 的数量相等。