Изменения

Перейти к: навигация, поиск

Регулярные языки: два определения и их эквивалентность

Нет изменений в размере, 17:31, 11 ноября 2011
м
Нет описания правки
определим <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
правок

Навигация