Solution

ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2024/ii/paper-3/12j/c/solution

If an automaton with at most states accepted a word of length , the preceding loop argument would produce for every , with . These words have unbounded lengths and are distinct, contradicting the finiteness of .

New to topics? Read the docs here!