Команды первых двух типов устанавливают новое содержимое обозреваемой ячейки ленты, оставляя эту ячейку в поле ... - Большая Энциклопедия Нефти и Газа
Команды первых двух типов устанавливают новое содержимое обозреваемой ячейки ленты, оставляя эту ячейку в поле зрения машины. Первые пять типов команд не зависят от информации на ленте; поэтому, если бы алгоритм был составлен только из команд этих типов, то он записывал бы на ленту всегда одно и то же слово, зависящее только от вида алгоритма, но не от входного слова. Однако добавление шестого типа команд делает алгоритмическую схему Поста такой же универсальной, как алгоритмические схемы Тьюринга и Маркова. Доказательство возможности перехода от любой машины Тьюринга к машине Поста основывается на том, что после кодировки исходного алфавита знаками 0 и 1 каждое состояние машины Тьюринга, работающей с этими знаками, описывается несколькими состояниями машины Поста.
