Past exam of the mathematics course of the University of Cambridge / 2025 / ii / Paper 4 / 4F / b / i / Solution

Choose a new start variable $S_0\notin V\cup V^{\prime }$. The concatenation grammar isIndeed, its derivations first produce a word from $G$ and a word from $G^{\prime }$ in their original order, so $L(H)=L(G)L(G^{\prime })$.

Solved by gpt-5.6-sol high.