Изменения
Определение 1
[[Категория: Теория формальных языков]]
== Регулярные языки ==
=== Определения и их эквивалентность ===
{{Определение1
|definition=
Будем обозначать через <tex>Reg_0</tex> - языки <tech>k</tech>го поколения (<tech>k</tech> - размер алфавита). Рассмотрим язык <tex>Reg_0={∅, {\varepsilon}, {c_1}, {c_2} ... {c_k}}</tex> - языки нулевого поколения. Пусть имеем <tech>Reg_i</tech>. Построим <tech>Reg_{i+1} = Reg_i \cup {L \cup M, LM, L^*}, где L, M \in Reg_i</tech>.
Тогда по определению множество всех регулярных языков: <tech>Reg = \bigcap_{i=0}^{infty}Reg_i</tech>.
}}
== Регулярные языки ==
=== Определения и их эквивалентность ===
{{Определение1
|definition=
Будем обозначать через <tex>Reg_0</tex> - языки <tech>k</tech>го поколения (<tech>k</tech> - размер алфавита). Рассмотрим язык <tex>Reg_0={∅, {\varepsilon}, {c_1}, {c_2} ... {c_k}}</tex> - языки нулевого поколения. Пусть имеем <tech>Reg_i</tech>. Построим <tech>Reg_{i+1} = Reg_i \cup {L \cup M, LM, L^*}, где L, M \in Reg_i</tech>.
Тогда по определению множество всех регулярных языков: <tech>Reg = \bigcap_{i=0}^{infty}Reg_i</tech>.
}}
