在交叉点下没有关闭的无上下文语言

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的数量相等。