Solution

ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2022/ii/paper-2/4i/i/solution

The pumping lemma for regular languages states that if is regular, then some has the following property: every with can be written with , , and for every . Indeed, while a deterministic finite automaton with states reads the first symbols, two of the first visited states coincide; the intervening nonempty loop may be traversed any number of times.
The language is not regular. If its pumping length were , apply the lemma to . The pumped block is for some . Pumping once more gives zeros, but
so their number is not a square.

New to topics? Read the docs here!