Прослеживая работу машины Тьюринга, мы узнаем, что она применима к данному слову, но если она неприменима, то такое прослеживание нам ничего не докажет, так как в любой момент можно надеяться на то, что она скоро остановится. Итак, неприменимость не может быть выяснена прямым способом; в ней можно убедиться только косвенными рассуждениями. Например, если в имеющейся программе нет клетки останова, то данная машина Тьюринга не применима ни к одному слову.
