3622
правки
Изменения
→Разрешимые и перечислимые языки
## следующая теорема о рекурсии (которая на самом деле называется теоремой о неподвижной точке) во-первых, списана из Шеня, во-вторых, списана неправильно и непонятно. Соответственно, пофиксить.
# [[Квайны]]
# ''взяли'' [[Busy beaver]] (1)
## Правильно оформить англоязычные термины
## Отформатировать псевдокод