Бюрократы, editor, Администраторы
422
правки
Изменения
Нет описания правки
|statement=
Пусть <tex>L_1, L_2</tex> {{---}} [[Регулярные языки: два определения и их эквивалентность|регулярные языки]] над одним алфавитом <tex>\Sigma</tex>. Тогда следующие языки также являются регулярными:
#Языки, полученные путём применения основных следующих теоретико-множественных операций:
#*<tex>L_1 \cup L_2</tex>,
#*<tex>\overline{L_1}</tex>,
