Например мы могли бы опустить ( iii) и ( iv), сохраняя ( п), или вместо ... - Большая Энциклопедия Нефти и Газа



Выдержка из книги Клини С.К. Введение в математику


Например мы могли бы опустить ( iii) и ( iv), сохраняя ( п), или вместо ( и) мы могли бы допустить, чтобы машина была снабжена лентой, бесконечной только в одну сторону и добавить требование, что она должна остановиться, если оказалась в такой ситуации, из которой таблица требует движения влево от самой левой клетки. После § § 68 и 69 будет нетрудно показать, что каждое из этих понятий вычислимости эквивалентно нашему ( ср.

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

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

Например мы могли бы опустить ( iii) и ( iv), сохраняя ( п), или вместо ( и) мы могли бы допустить, чтобы машина была снабжена лентой, бесконечной только в одну сторону и добавить требование, что она должна остановиться, если оказалась в такой ситуации, из которой таблица требует движения влево от самой левой клетки. После § § 68 и 69 будет нетрудно показать, что каждое из этих понятий вычислимости эквивалентно нашему ( ср.