271
правка
Изменения
Нет описания правки
{{Теорема
|statement=
Языки <tex> L_1, </tex> и <tex> L_2 </tex> {{---}} перечислимы, тогда следующие языки могут быть не перечислимы:
* <tex>\overline{L_1}</tex> {{---}} дополнение <tex>L_1\</tex>;
