我在维基百科上找到了这个解决方案。不应该说: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}。
答案 0 :(得分:0)
不,不应该。 j和n之间没有关系。在L1中,唯一的条件是a和b的数量相等。 c的数量是或多或少是无关紧要的。类似地,在L2中,它是b和c的相等数量。 a的数量是多少还是少(比b和c的数量)并不重要。然而,交叉点将具有落在L1和L2中的那些字符串,即(a和b的数量相等)AND(b和c的数量相等),这意味着a,b和c的数量相等。