Докажите, что множество A = {x | {0, 1, . . . , 2020} ⊆ Wx}, где Wx = dom φx = {y | φx(y) ↓}, рекурсивно перечислимо, но не рекурсивно.

задан 28 Май '20 14:32

В одну сторону: перечисляем пары (x,n), прогоняем программу с номером x на n шагов при y от 0 до 2020. Запоминаем те номера, для которых программа останавливалась. Если в какой-то момент оказалось, что на всех номерах от 0 до 2020 имел место факт остановки, печатаем x.

В другую: берём программу без входа, про которую мы не знаем, останавливается она или нет. Пишем новую программу с входом, которая при y=0 работает как наша программа, а при остальных y сразу останавливается. Если бы A было рекурсивно, мы бы умели определять факт остановки программы.

(28 Май '20 15:11) falcao
10|600 символов нужно символов осталось
Знаете, кто может ответить? Поделитесь вопросом в Twitter или ВКонтакте.

Ваш ответ

Если вы не нашли ответ, задайте вопрос.

Здравствуйте

Математика - это совместно редактируемый форум вопросов и ответов для начинающих и опытных математиков, с особенным акцентом на компьютерные науки.

Присоединяйтесь!

отмечен:

×1,866
×180
×33

задан
28 Май '20 14:32

показан
222 раза

обновлен
28 Май '20 15:11

Отслеживать вопрос

по почте:

Зарегистрировавшись, вы сможете подписаться на любые обновления

по RSS:

Ответы

Ответы и Комментарии

Дизайн сайта/логотип © «Сеть Знаний». Контент распространяется под лицензией cc by-sa 3.0 с обязательным указанием авторства.
Рейтинг@Mail.ru