Изменения
Перейти к:
навигация
,
поиск
← Предыдущая правка
Следующая правка →
Свойства перечислимых языков. Теорема Успенского-Райса
13 байт убрано
,
22:41, 23 января 2012
Нет описания правки
'''return''' <tex>p_X(y)</tex>
else
'''return'''
<tex>\bot</tex>
Нетрудно понять, что в разумной модели вычислений номер этой программы можно вычислить по данным <tex>i</tex> и <tex>x</tex>. Значит, можно рассмотреть такую программу:
Анонимный участник
192.168.0.2
Навигация
Персональные инструменты
Создать учётную запись
Войти
Пространства имён
Статья
Обсуждение
Варианты
Просмотры
Читать
Просмотр вики-текста
История
Ещё
Поиск
Навигация
Заглавная страница
Свежие правки
Случайная статья
Справка
Инструменты
Спецстраницы
Версия для печати