Důkaz:
Tvrzení: Třída regulárních jazyků je uzavřena vůči: sjednocení, konkatenaci, iteraci.
Uzávěrové vlastnosti 2/2
• Nechť L1, L2 jsou dva regulární jazyky
• Potom, existují dva RV r1, r2: L(r1) = L1, L(r2) = L2;
• Podle definice regulárních výrazů:
• r1.r2 je RV značící L1 L2
• r1 + r2 je RV značící L1 È  L2
• r1* je RV značící L1*
• Každý RV značí regulární jazyk, tedy
 L1 L2,  L1 È  L2,  L1* jsou regulární jazyky
14/26