В чём заключается проблема останова в программировании?

Проблема остановки (останова) в программировании (англ. Halting problem) заключается в том, чтобы определить на основе описания произвольной компьютерной программы и входных данных, завершит ли программа выполнение или будет продолжать выполняться вечно. en.wikipedia.org ru.wikipedia.org

Неформально задачу можно поставить так: даны описание процедуры и её начальные входные данные, нужно определить, завершится ли когда-либо выполнение процедуры с этими данными или процедура всё время будет работать без остановки. ru.ruwiki.ru ru.wikipedia.org

Алан Тьюринг в 1936 году доказал, что проблема остановки неразрешима, то есть не существует общего алгоритма, который решал бы её для всех возможных пар «программа — входные данные». ru.ruwiki.ru ru.wikipedia.org

Пользователь

Время добавления