Изменения
fixed
Из определения <tex>Reg</tex> следует, что:
# <tex> Reg_0 R_0 \subset Reg </tex>.
# <tex> L_1, L_2 \in Reg \Rightarrow \exists i </tex>, что <tex> L_1\in R_i </tex> и <tex> \exists j </tex> , что <tex> L_2 \in R_j \Rightarrow L_1L_2 \in R_{max(i, j)+1}, L_1 \cup L_2\in R_{max(i, j)+1}, L_1^* \in R_{i + 1}</tex> <tex> \Rightarrow L_1L_2 \in Reg, L_1 \cup L_2\in Reg, L_1^* \in Reg </tex>.
