Но, конечно же, такой машины Мт не может быть на свете, так как, если бы ... - Большая Энциклопедия Нефти и Газа



Выдержка из книги Булос Д.N. Вычислимость и логика


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

(cкачать страницу)

Смотреть книгу на libgen

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