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

  1. If is a Regular Language
  2. 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

  1. Suppose is Regular Language
  2. Since is regular, we apply Pumping Lemma and assert there is a that satisfies
  3. Give a particular string s.t
  4. By pumping lemma, there are strings . Pick specific s.t
  5. Then, we have proved that this language is not regular.

Examples

Proof of P.L

  1. Suppose is regular
  2. Then, let be a DFSA s.t by The Big Result
  3. Let be the number of states in
  4. Then,
  5. The states include
  6. This is the state you get to after reading the first symbols.
  7. Denote
  8. Denote
  9. Denote
  10. Then,
  11. Then
  12. Then, we get that every repeated allows to be in the language