Solution

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

Take states , transition , initial state , and make every even state accepting. Every state is reached by some , and two states are equivalent exactly when they have the same parity. The quotient therefore has two states and accepts the even-length words.

New to topics? Read the docs here!