Teoriomnogościowe własności klasy języków regularnych
Tw1. Każdy język jednoelementowy jest językiem regularnym.
Tw2. Klasa LRjest zamknięta ze względu na operację podstawiania.
Tw3. Klasa LRjest 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 LRjest zamknięta ze względu na operację przecięcia.
Tw6. Klasa LRjest zamknięta ze względu na operację odbicia zwierciadlanego.
Tw7. (Myhill. Kleene). Klasa LRjest 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.