Изменения

Перейти к: навигация, поиск
м
Нет описания правки
Регулярный язык <tex> Reg </tex> над алфавитом <tex> \Sigma = \left\{c_1, c_2, \ldots ,c_k \right\} </tex> {{---}} язык, который может быть получен из букв алфавита при помощи последовательных применений операций объединения, конкатенации или итерации и никаких других, т.е.:
Обозначим обозначим <tex>R_0=\left\{\varnothing, \left\{\varepsilon \right\}, \left\{c_1 \right\}, \left\{c_2 \right\} , \ldots, \left\{c_k \right\} \right\}</tex>;
Определим определим <tex>R_{i+1}</tex> через <tex>R_i</tex>: <tex>R_{i+1} = R_i \cup \left\{L_1 \cup L_2, L_1L_2, L_1^* | L_1, L_2 \in R_i\right\}</tex>.,
Тогда: <tex>Reg = \bigcup\limits_{i=0}^{\infty}R_i</tex>.
}}
editor
177
правок

Навигация