Důkaz:
Uzávěrové vlastnosti: Průnik
• Nechť L1, L2 jsou dva regulární jazyky
• L1, L2 jsou regulární jazyky
(třída regulárních jazyků je uzavřena vůči doplňku)
• L1 È L2 je regulární jazyk
(třída regulárních jazyků je uzavřena vůči sjednocení)
• L1 È L2 je regulární jazyk
(třída regulárních jazyků je uzavřena vůči doplňku)
• L1 Ç L2 = L1 È L2 je regulární jazyk
(De-Morganovy zákony)
Tvrzení: Třída regulárních jazyků je uzavřena vůči průniku.
18/26