Процесс моделирования протекает так. После выполнения необходимых переносов Т передвигается еще на один квадрат влево, ... - Большая Энциклопедия Нефти и Газа



Выдержка из книги Сборник N.N. Проблемы математической логики Сложность алгоритмов и классы вычислимых функций


Процесс моделирования протекает так. После выполнения необходимых переносов Т передвигается еще на один квадрат влево, чтобы определить, достигнута ли самая левая для каналов дорожки i цифра. Затем Т выполняет чистку, именно движется вправо вплоть до пустого квадрата, следующего за квадратом младшего разряда, и во время этого движения проверяет условие ( 3), производя необходимые исправления, и, кроме того, заменяет нули, появляющиеся в данном канале слева от крайней единицы, пустыми символами. Ясно, что во время чистки Т проверяет также значения счег-чиков на равенство нулю. И наконец, после чистки Т передвигается на один квадрат влево, занимая снова квадрат младшего разряда.

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

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

 Процесс моделирования протекает так.  После выполнения необходимых переносов Т передвигается еще на один квадрат влево,  чтобы определить,  достигнута ли самая левая для каналов дорожки i цифра.  Затем Т выполняет чистку,  именно движется вправо вплоть до пустого квадрата,  следующего за квадратом младшего разряда,  и во время этого движения проверяет условие ( 3),  производя необходимые исправления,  и,  кроме того,  заменяет нули,  появляющиеся в данном канале слева от крайней единицы,  пустыми символами.  Ясно,  что во время чистки Т проверяет также значения счег-чиков на равенство нулю.  И наконец,  после чистки Т передвигается на один квадрат влево,  занимая снова квадрат младшего разряда.