确定语言是否无上下文

Question

假设你有一种语言L，你想确定它是否是无上下文的。与常规语言相交的无上下文语言是无上下文的。这足以证明L是无上下文的吗？

含义，

L相交P = T其中P是常规语言，T是无上下文。这是否意味着L是无上下文的？

Answer 1

不，您的陈述不为真。请考虑以下反例：

L = {0n1n2n | n > 0}, P = T = Ø。很明显，我们有L ∩ P = L ∩ Ø = Ø = T，Ø是常规和无上下文的。

请注意，众所周知，L不具备上下文（see example on p.12 for a sketch proof by pumping lemma）。