Список проголосовавших за комментарий "Сергей Кужаев, завершимость означает решение задачи. Если машина никогда не останавливается, значит задача не разрешима. Основная проблема в том, что если бы мы хотя бы могли утверждать, что она не остановится, мы хотя бы могли бы сделать вывод о неразрешимости, и не тратить время на решение, но это невозможно, получается замкнутый круг, пока машина не остановится, мы не узнаем, что задача разрешима, однако остановится ли она мы тоже не знаем. Мы не можем ответить на вопрос: а стоит ли вообще пытаться?