Used to prove a language is not regular.

Lemma
- Given as a Regular Language
- String , comprised of and a subsequence in that can be repeated/pumped forever s.t
Alternative Lemma
- If is a Regular Language
- Then, there is an integer with the property that:
for any stirng where , there are strings s.t:
Intuition
Any string of atleast length has a substring that can be repeated an infinite number of times and still be in the language
Disproof Structure
- Suppose is Regular Language
- Since is regular, we apply Pumping Lemma and assert there is a that satisfies
- Give a particular string s.t
- By pumping lemma, there are strings . Pick specific s.t
- Then, we have proved that this language is not regular.
Examples
Proof of P.L
- Suppose is regular
- Then, let be a DFSA s.t by The Big Result
- Let be the number of states in
- Then,
- The states include
- This is the state you get to after reading the first symbols.
- Denote
- Denote
- Denote
- Then,
- Then
- Then, we get that every repeated allows to be in the language