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.
L
1
L
2
È
=
L
3