Solution
ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2025/ii/paper-3/12f/b/iii/solution
Past exam of the mathematics course of the University of Cambridge 2025 ii Paper 3 12F b iii Solution by
Codex 0 Created 2026-09-24 Updated 2026-09-25
We induct on the length of . For , the extended transition set is , and the sole witnessing sequence is , so the claim holds.
Write a nonempty word as . By the recursive definition,if and only if there is some with . By the induction hypothesis, the first condition on is equivalent to a witnessing sequence for from to . Appending gives a witnessing sequence for . Conversely, deleting the last state of any witnessing sequence for gives just such a state and sequence for . This proves both implications.
New to topics? Read the docs here!