Это эквивалентно проблеме принятия решения при наличии программы и ввода, остановится ли программа в конечном итоге при запуске с этим вводом или будет работать вечно.
Это статья, в которой Тьюринг дает определение машины Тьюринга, формулирует проблему остановки и показывает, что она (как и проблема Entscheidungsprode) неразрешима.