Intermediate Topic 23 of 51 Theory & Discrete Math
Pumping Lemma for Regular Languages
Tool proving certain languages are not regular.
How it works
The pumping lemma says that for every regular language there is a pumping length p such that any string s in the language with length at least p can be split into x, y and z, with the length of xy at most p and y non-empty, so that x y to the i z remains in the language for every i of zero or more. Intuitively, a finite automaton must repeat a state on a long string, and the loop can be repeated or removed. It is used to prove that languages are not regular.
Step-by-step walkthrough
- Assume L is regular with pumping length p.
- Any string longer than p splits as x y z with y non-empty and xy is at most p long.
- Repeating y any number of times must stay in L.
- For a^n b^n pumping y breaks the balance.
- This contradiction proves that L is not regular.
Where it is used
Showing that languages such as balanced parentheses, a to the n b to the n and prime-length strings are not regular uses the lemma in a proof by contradiction.
Common pitfall
The lemma is a necessary condition only: satisfying it does not prove a language is regular. A common mistake is choosing the split yourself; the adversary chooses it, and you must handle all valid splits. Pick the string s carefully so that pumping breaks the pattern, and verify each case of where y can lie.
Where it fits in the course
Pumping Lemma for Regular Languages is topic 23 of 51 in Theory & Discrete Math, rated Intermediate. It follows Regular Expressions in Theory. The next topic is Context-Free Grammars.
Practice and explore
- Open the interactive lesson, with a mini quiz.
- Take the Theory & Discrete Math quiz.
How to study this topic
- Read the explanation above and restate the definition in your own words.
- Open the interactive lesson and answer its mini quiz.
- Read the common pitfall, then write a short example that avoids it.
- Check your understanding in the Theory & Discrete Math quiz, and revisit the topic if you miss a question.
Frequently asked questions
What is Pumping Lemma for Regular Languages?
Where do people use Pumping Lemma for Regular Languages?
What is the most common mistake with Pumping Lemma for Regular Languages?
What should I learn before this topic?
How can I practice it?
Is Pumping Lemma for Regular Languages hard to learn?
How long does it take to learn Pumping Lemma for Regular Languages?
Which topics are related to Pumping Lemma for Regular Languages?
What should I study after Pumping Lemma for Regular Languages?
Related topics
- Regular Expressions in Theory (Theory & Discrete Math)
- Context-Free Grammars (Theory & Discrete Math)
- Regular Languages (Theory & Discrete Math)
- Parse Trees (Theory & Discrete Math)
- Compiled vs Interpreted Languages (Languages & Compilers)
- Regular Expressions (Programming Fundamentals)
- Domain-Specific Languages (Languages & Compilers)