Closure of context-free languages under Kleene star (source code)

= Closure of context-free languages under Kleene star

If a <context-free grammar> for $L$ has start symbol $S$, adjoining a new start symbol $S_0$ and productions $S_0\to\epsilon\mid SS_0$ gives a context-free grammar for the <Kleene star> $L^*$.