Бюрократы, editor, Администраторы
422
правки
Изменения
→Теория вычислимости
*[[Иммунные и простые множества]]
*[[Теорема о рекурсии]]
*[[m-сводимость]]
*[[Примеры неразрешимых задач: проблема соответствий Поста]]
*[[Примеры неразрешимых задач: однозначность грамматики]]
