3622
правки
Изменения
→Разрешимые и перечислимые языки
=== Разрешимые и перечислимые языки ===
# [[Разрешимые (рекурсивные) языки]]
# '''взяли''' [[Перечислимые языки]] (62)## Оформить правильно англоязычные термины## Поправить чуть определение полуразрешимого Добавить содержательный пример коперечислимого языка## Отформатировать псевдокоды## Оформить правильно в обе стороны доказательство теоремы## Заменить источники на источники информации## Добавить примеры перечислимых, коперечеслимых языков и неперечислимых языков# ''взяли'' [[Замкнутость разрешимых и перечислимых языков относительно теоретико-множественных и алгебраических операций]] (10.5)## Чуть-чуть код форматнутьУбрать лишние знаки препинания из списков в теоремах
## Заменить литературу на источники информации
# ''fixed'' # Категории# [[Вычислимые функции]] (0.5)## Заменить источники на источники информации## Англоязычные термины# ''взяли'' [[Вычислимые числа]] (12)
## Правильно оформить англоязычные термины
## Пояснить a(eps) в определении
## Ссылки заменить на источники информации
## Увеличить дроби
## Пояснить подробней мутные места
# ''взяли'' [[Универсальная функция]] (1)
## Англоязычные термины правильно оформить
## следующая теорема о рекурсии (которая на самом деле называется теоремой о неподвижной точке) во-первых, списана из Шеня, во-вторых, списана неправильно и непонятно. Соответственно, пофиксить.
# [[Квайны]]
# ''fixed'' [[Busy beaver]] (1)## Правильно оформить англоязычные термины## Отформатировать псевдокод## Нормально оформить см. также, источники информации и вывод из теоремы
# [[Колмогоровская сложность]]
