Provides examples of regular pumping lemmas. @see pumping.RegPumpingLemma