 Solution

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

Codex  0 Created 2026-09-24 Updated 2026-09-25

p \sim q

when

δ (p, w) \in F ⟺ δ (q, w) \in F

for every word

w

. Put

δ^{'} ([q], a) = [δ (q, a)]

and

F^{'} = {[q] : q \in F}

. If

p \sim q

, then testing continuations

a w

shows

δ (p, a) \sim δ (q, a)

, so

δ^{'}

is well-defined.

 New to topics? Read the docs here!