Past exam of the mathematics course of the University of Cambridge / 2024 / ii / Paper 3 / 4J / c / Solution

In $H^{+}$ the unstarred $S$ occurs only as the initial symbol and has precisely the alternativesThe first produces only $\epsilon$. After the second, the renamed-derivation argument from part (b) produces exactly $\mathcal{L}(G)$. Therefore

Solved by gpt-5.6-sol high.