确定一种语言是否是上下文无关的

Determine if a language is context free

假设您有一种语言 L,并且您想确定它是否是上下文无关的。与常规语言相交的上下文无关语言是上下文无关的。这足以证明 L 是上下文无关的吗?

含义,

L intersect P = T 其中 P 是常规语言,T 是上下文无关的。这是否意味着 L 是上下文无关的?

不,你的说法是真的。考虑以下反例:

L = {0<sup>n</sup>1<sup>n</sup>2<sup>n</sup> | n > 0}, P = T = Ø。显然我们有 L ∩ P = L ∩ Ø = Ø = TØ 既是常规的又是上下文无关的。

请注意,众所周知 L 不是上下文无关的 (see example on p.12 for a sketch proof by pumping lemma)。