Solution

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

Take a context-free grammar for with start symbol , rename nonterminals if necessary, and add a fresh start symbol with
Every derivation concatenates finitely many words of , and every finite concatenation can be derived. The resulting grammar generates , proving closure of context-free languages under Kleene star.

New to topics? Read the docs here!