The pumping lemma links appear to be dead now. Maybe should be replaced with wikipedia? 

https://en.wikipedia.org/wiki/Pumping_lemma_for_regular_languages