Проблема остановки

Классическая задача теории алгоритмов (halting problem): по описанию программы и её входным данным определить, завершится ли когда-нибудь её выполнение или она будет работать бесконечно. В 1936 году Алан Тьюринг доказал, что общего алгоритма, который решал бы эту задачу для любой программы, не существует. Это основной пример алгоритмически неразрешимой задачи; из него следуют принципиальные пределы автоматического анализа программ.

проверено по: ru.wikipedia.org ↗