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