Uzávěrové vlastnosti BKJ
18/31
Třída bezkontextových jazyků
Ilustrace:
• Třída bezkontextových jazyků je uzavřená vůči sjednocení.
To znamená:
Definice: Třída bezkontextových  jazyků je uzavřená vůči operaci o, pokud výsledek operace o na libovolné bezkontextové jazyky je opět bezkontextový jazyk.
L1
L2
È
=
L3