 Solution

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

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

The grammars are isomorphic. The bijection

S ⟼ S, A ⟼ D, B ⟼ C

P_{0}

to the corresponding production of

P_{1}

. They are therefore equivalent. Notice that

B

in the first grammar and

C

in the second are unreachable; the isomorphism also preserves this irrelevant component.

 New to topics? Read the docs here!