Изменения

Перейти к: навигация, поиск

Перечислимые языки

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

Навигация