确定一种语言是否是上下文无关的
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)。
假设您有一种语言 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)。