?
Интересные вопросы
Пожаловаться

*3. Первой задачей, неразрешимость которой была доказана, была проблема самоприменимости... 11 класс Поляков Ю.К. Информатика. Часть 2. Параграф 35

*3. Первой задачей, неразрешимость которой была доказана, была проблема самоприменимости: по заданному тексту программы Р опреде-
лить, останавливается ли программа Р, если ей на вход подать текст
этой же программы. Докажите, что проблема останова сводится к
проблеме самоприменимости (именно так и была доказана неразре-
шимость проблемы останова).

ответы
Пожаловаться

3)   Предположим, что проблема останова разрешима, то есть существует программа Z, которая
по любой программе Р и её исходным данных X определяет, остановится ли эта программа.
Тогда, подав на вход этой программы Z её собственный код, мы смогли бы определить, оста-
навливается ли она, то есть получилось бы, что проблема самоприменимости разрешима.
Получили противоречие, поэтому проблема останова алгоритмически неразрешима.

ваш ответ
Можно ввести 4000 cимволов
отправить
дежурный
Нажимая кнопку «отправить», вы принимаете условия  пользовательского соглашения
похожие темы
похожие вопросы 5
Вова Регида
Пожаловаться
Помогите!!! Срочно

(Подробнее...)

ЕГЭМатематика11 класс
Lia Winter
Пожаловаться
지현 전
Пожаловаться
Определите, какие изобразительно выразительные средства языка использованы в приведенных ниже отрывках

Березы желтою резьбой
Блестят в лазури голубой,
Как вышки, елочки темнеют (Подробнее...)

ГДЗДосугУчителя
Ольга К
Пожаловаться
1. На рисунке показана структура сайта, который содержит 6 веб- страниц. Информатика Поляков Ю.К. 11 класс. Часть 1. Задачи к параграфу 25

1. На рисунке показана структура сайта, который содержит 6 веб-
страниц. Выполните следующие задания:
а)    найдите все (Подробнее...)

ГДЗИнформатика11 классПоляков К.Ю.
Михаил Борисович
Пожаловаться
7. Что делают следующие программы для машины Поста? Поляков Ю.К. Информатика 11 класс. Часть 2. Параграф 34

7.  Что делают следующие программы для машины Поста? (Подробнее...)

ГДЗИнформатика11 классПоляков К.Ю.