Изменения
Перейти к:
навигация
,
поиск
← Предыдущая правка
Следующая правка →
Разрешимые (рекурсивные) языки
24 байта убрано
,
23:39, 23 января 2012
Нет описания правки
==Пример разрешимого множества==
{{
Утверждение
Лемма
|id=st1
|statement=
}}
{{
Утверждение
Лемма
|id=st1
|statement=
Воронов
40
правок
Навигация
Персональные инструменты
Создать учётную запись
Войти
Пространства имён
Статья
Обсуждение
Варианты
Просмотры
Читать
Просмотр вики-текста
История
Ещё
Поиск
Навигация
Заглавная страница
Свежие правки
Случайная статья
Справка
Инструменты
Спецстраницы
