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