Ясно, что действие читающих операторов I4 и - легко промоделировать при помощи запоминания управлением обозреваемых ... - Большая Энциклопедия Нефти и Газа
Выдержка из книги
Анисимов А.В.
Рекурсивные преобразователи информации
Ясно, что действие читающих операторов I4 и - легко промоделировать при помощи запоминания управлением обозреваемых символов и последующего применения операторов замены машины Тьюринга Читающая машина Тьюринга моделируется локально ограниченной машиной, которая запоминает в Каждом квадрате след прохождения этого квадрата Если длина следа больше числа управляющих состояний, то автомат зациклится, так как найдутся два одинаковых состояния, которые вызовут циклическое повторение вычислительной ситуации. Отсюда следует локальная ограниченность.
