Section 17.4

The Pumping Lemma for Automatic Languages