Выдержка из книги
Булос Д.N.
Вычислимость и логика
Но, конечно же, такой машины Мт не может быть на свете, так как, если бы она существовала, она, будучи запущенной в ее начальном состоянии на самой левой клетке сплошного блока из m единиц на ленте с пустыми символами во всех остальных клетках, должна была бы остановиться в точности тогда, когда ее работа при этих начальных условиях продолжалась бы бесконечно.