Abschlusseigenschaften der kontextfreien Sprachen

Definition

Sind $L_1$ und $L_2$ kontextfrei dann sind

• Vereinigung $L_1\cup L_2$
• Konkatenation $L_1\cdot L_2$
• Kleene-Stern $L_1^{\ast }$
  kontextfrei.

siehe Abschlusseigenschaften der regulären Sprachen

Beweis