我正在写一些关于 Ppumping Lemma 的东西。我知道语言 L = { a^nb^n| n ≥ 0 } 是上下文无关的。但我不明白这种语言如何满足抽引引理的条件(对于无上下文语言)?
如果我们选择字符串 s = a^pb^p, |s| > p , |vxy| < p 和 |vy| > 0。
当我们泵送它(泵升或降压)或者我缺少某些东西时,它似乎会超出语言范围。
任何解释都会有所帮助。
编辑:我将抽引引理应用于 a^nb^n 并且它无法在所有情况下都保持在语言中。那么,为什么它是无上下文的?
我只是想看看这种语言是否满足抽水引理的条件。但是当我抽水时它似乎失败了 s = uv^2xy^2z