"pumping lemma"@en . . .