Definice: Nechť
je třída jazyků uzavřena vůči
sjednocení, průniku a doplňku. Potom tato
třída tvoří Boolovu algebru
jazyků.
Boolova algebra jazyků
Tvrzení: Třída
regulárních jazyků tvoří Booleovu
algebru jazyků.
• Třída regulárních jazyků je uzavřená vůči sjednocení, průniku a doplňku.
Důkaz:
19/26