 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