Изменения
Перейти к:
навигация
,
поиск
← Предыдущая правка
Следующая правка →
Теория формальных языков
28 байт добавлено
,
04:11, 25 декабря 2011
→
Теория вычислимости
*[[Иммунные и простые множества]]
*[[Теорема о рекурсии]]
*[[m-сводимость]]
*[[Примеры неразрешимых задач: проблема соответствий Поста]]
*[[Примеры неразрешимых задач: однозначность грамматики]]
Kirelagin
Бюрократы
, editor,
Администраторы
422
правки
Навигация
Персональные инструменты
Создать учётную запись
Войти
Пространства имён
Статья
Обсуждение
Варианты
Просмотры
Читать
Просмотр вики-текста
История
Ещё
Поиск
Навигация
Заглавная страница
Свежие правки
Случайная статья
Справка
Инструменты
Спецстраницы