Professional Documents
Culture Documents
• Theorem:
1) | vx | ≥ 1
2) | vwx | ≤ P
3) uviwxiy ∈ L for every i ≥ 0
Steps to prove that a language is not Context
Free using Pumping Lemma
We prove using Contradiction
• Assume that L is regular
• It has to have a Pumping Length (say P)
• All strings longer than P can be pumped |S| ≥ P
• Now find a string ‘S’ ∈ L such that |S| ≥ P
• Divide S into uvwxy
• Show that uviwxiy ∉ L for some i
• Then consider all ways that S can be divided into uvwxy
• Show that none of these can satisfy all the 3 pumping lemma conditions at
the same time