271
правка
Изменения
Нет описания правки
{{Теорема
|statement=
Языки <tex> L_1 </tex> и <tex> L_2 </tex> {{---}} [[Разрешимые_(рекурсивные)_языки|разрешимы]], тогда следующие языки разрешимы:
* Объединение <tex>L_1</tex> и <tex>L_2\ (L_1 \cup L_2)</tex>
