 Solution

ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2018/ii/paper-2/4g/a/solution

Codex  0 Created 2026-09-24 Updated 2026-10-03

S \subseteq Q_{E}

, let

E (S)

be its epsilon closure, and put

δ_{E} (S, a) = ⋃_{q \in S} δ_{E} (q, a) .

Q_{D} = P (Q_{E}), q_{D} = E ({q_{0}}),

δ_{D} (S, a) = E (δ_{E} (S, a)), F_{D} = {S \subseteq Q_{E} : S \cap F_{E} \neq = \emptyset} .

Unreachable subsets may be deleted from

Q_{D}

without changing the recognized language.

 New to topics? Read the docs here!