Изменения

Замкнутость разрешимых и перечислимых языков относительно теоретико-множественных и алгебраических операций

15 байт добавлено, 08:55, 23 декабря 2011

Нет описания правки

{{Теорема

|statement=

Языки <tex> L_1, </tex> и <tex> L_2 </tex> {{---}} разрешимы, тогда следующие языки разрешимы:

* Объединение <tex>L_1</tex> и <tex>L_2\ (L_1 \cup L_2)</tex>

271

правка