Provides the classes necessary for regular and context-free pumping lemmas.