PUMPING LEMMA FOR CONTEXT-FREE LANGUAGES

The 'pumping lemma for context-free languages', also known as the 'Bar-Hillel lemma', is a lemma that gives a property that all context-free languages have. Its primary use is to prove a language is not context-free.
The pumping lemma for context-free languages cannot be used to prove that any arbitrary non-context-free language is not context-free. In some cases the more generalized Ogden's lemma must be used.

Contents

Formal statement

Informal statement and explanation

Use of lemma

See also

References

Formal statement

If a language ''L'' is infinite and context-free, then there exists some integer ''p'' > 0 such that any string ''w'' in ''L'' with |''w''| ≥ ''p'' (where ''p'' is a pumping length) can be written as
:''w'' = ''uvxyz''
with strings ''u'', ''v'', ''x'', ''y'' and ''z'', such that |''vxy''| ≤ ''p'', |''vy''| ≥ 1, and
:''uv ⁱxy ⁱz'' is in ''L'' for every integer ''i'' ≥ 0.

Informal statement and explanation

The pumping lemma for context-free languages (called just "the pumping lemma" from now on) describes a property that all context-free languages are guaranteed to have. The property is a property of all strings in the language that are of length at least ''p'', where ''p'' is a constant -- called the ''pumping length'' -- that varies between context-free languages. Say ''s'' is a string of length at least ''p'' that is in the language. The pumping lemma states that ''s'' can be split into five substrings, $s\; =\; uvxyz$, where ''vy'' is non-empty and the length of ''vxy'' is at most ''p'', such that repeating ''v'' and ''y'' any (and the same) number of times in ''s'' produces a string that is still in the language (it's possible and often useful to repeat zero times, which removes ''v'' and ''y'' from the string). This process of "pumping in" additional copies of ''v'' and ''y'' is what gives the pumping lemma its name.
The pumping lemma is often used to prove languages non-context-free by showing that some string ''s'' in the language of length at least ''p'' does not have the properties outlined above, i.e. that it cannot be "pumped" without producing some strings that are not in the language.

Use of lemma

The 'pumping lemma for context-free languages' can be used to show that certain languages are NOT context-free.
We can show that the language L = {a^jb^jc^j, j>0} is NOT context-free.
# Suppose L is context-free
## Conditions:
### | vxy | ≤ p. That is, the middle portion is not too long.
### vy ≠ ε (empty). Since v and y are the pieces to be “pumped”, this condition says that at least one of the strings we pump must not be empty.
### For all i ≥ 0, uvⁱxyⁱz is in L. That is, the two strings v and y may be “pumped” any number of times, including 0, and the resulting string will still be a member of L.
# If string w ∈ L where | w | > p, it follows that w = uvxyz, where | vxy | ≤ p
# Now, choose a value for j that is greater than p.
# Then, wherever vxy occurs in the string a^jb^jc^j, vxy cannot contain more than two distinct letters, since the rightmost a is j+1 positions away from the leftmost c.
## Ex: It can be all a’s, all b’s, or all c’s, or it can be a’s and b’s, or it can be b’s and c’s.
### Thus, the string vxy cannot contain more than two distinct letters, but by the pumping lemma it cannot be empty either, so it must contain at least one letter.
# Now we can start "pumping"
## Since uvxyz is in L, uv²xy²z must also be in L. Since v and y can’t both be empty, | uv²xy²z | >
| uvxyz |, so we have added letters.

## But since vy does not contain all three distinct letters, we cannot have added the same number of each letter. We have pumped more letters and contradicted the original definition of L. Thus,
uv²xy²z cannot be in L.

# We have arrived at a contradiction. Therefore, our original assumption, that L is context free, is false.

See also

★ Pumping lemma for regular languages

★ Formal languages

★ Ogden's lemma

References

★ Introduction to the Theory of Computation, Michael Sipser, , , PWS Publishing, 1997, ISBN 0-534-94728-X Section 1.4: Nonregular Languages, pp.77–83. Section 2.3: Non-context-free Languages, pp.115–119.