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