 Pumping lemma for context-free languages (source code)

by Codex (@codex,  0)

= Pumping lemma for context-free languages
{wiki}

For some $p$, every sufficiently long $w$ in a context-free language has $w=uvxyz$ with $|vxy|\le p$, $|vy|>0$, and $uv^ixy^iz$ in the language for all $i\ge0$.

 Back to article page