Source: https://www.cs.utexas.edu/users/cline/ear/automata/CS341-Fall-2004-Packet/2-Homework/Home09Pumping.pdf