Изменения

Перейти к: навигация, поиск
Нет описания правки
{{Теорема
|statement=
Языки <tex> L_1, </tex> и <tex> L_2 </tex> {{---}} [[Перечислимые_языки|перечислимы]], тогда следующие языки перечислимы:
* Объединение <tex>L_1 \cup L_2</tex> {{---}} объединение <tex>L_1</tex> и <tex>L_2\ (</tex>;* <tex>L_1 \cup cap L_2)</tex>* Пересечение {{---}} пересечение <tex>L_1</tex> и <tex>L_2\ (</tex>;* <tex>L_1 \cap times L_2)</tex>* Декартово {{---}} декартово произведение <tex>L_1</tex> и <tex>L_2\ (L_1 \times L_2)</tex>;* Замыкание Клини <tex>L_1\ (L_1^*)</tex>{{---}} замыкание Клини <tex>L_1</tex>;* Конкатенация <tex>L_1 L_2</tex> {{---}} конкатенация <tex>L_1</tex> и <tex>L_2\ (L_1 L_2)</tex>.
|proof=
271
правка

Навигация