Teoriomnogościowe własności klasy języków regularnych

Teoriomnogościowe własności klasy języków regularnych
Tw1. Każdy język jednoelementowy jest językiem regularnym.
Tw2. Klasa L R jest zamknięta ze względu na operację podstawiania.
Tw3. Klasa L R jest zamknięta ze względu na operacje sumy, złożenia i domknięcia języków.
Tw4. Każdy język skończony jest regularny.
Tw5. Klasa L R jest zamknięta ze względu na operację przecięcia.
Tw6. Klasa L R jest zamknięta ze względu na operację odbicia zwierciadlanego.
Tw7. (Myhill. Kleene). Klasa L R jest najmniejszą klasą języków zawierającą wszystkie
języki skończone i zamkniętą ze względu na operacje sumy, złożenia i domknięcia języków.