36
правок
Изменения
Нет описания правки
Функция [[Busy_beaver | busy beaver]] <tex>bb(n)</tex> {{---}} невычислима, следовательно такой язык неперечислим.
}}
== См. также ==
* [[Разрешимые (рекурсивные) языки]]
* [[Замкнутость разрешимых и перечислимых языков относительно теоретико-множественных и алгебраических операций]]
== Источники информации ==