Past exam of the mathematics course of the University of Cambridge 2018 ii Paper 1 4G c Solution Created 2026-09-24 Updated 2026-10-03
Take a context-free grammar for with start symbol , rename nonterminals if necessary, and add a fresh start symbol withEvery 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.