142
правки
Изменения
Нет описания правки
{{Определение
|definition =
'''Множество регулярных языков''' <tex> Reg </tex> над алфавитом <tex> \Sigma = \left\{c_1, c_2, \ldots ,c_k \right\} </tex> {{---}} множество языков, которое может быть получено из языков, каждый из которых содержит единственное слово {{---}} <tex>c_i</tex>, при помощи последовательных применений операций объединения, конкатенации или итерации замыкания Клини и никаких других, то есть:
обозначим <tex>R_0=\left\{\varnothing, \left\{\varepsilon \right\}, \left\{c_1 \right\}, \left\{c_2 \right\} , \ldots, \left\{c_k \right\} \right\}</tex>,
