Примеры машин Тьюринга
Следует обратить внимание на «торможение» в команде
2. Сдвиг на ячейку вправо:
Тут Можно реализовать сдвиг на фиксированное число Завершение работы достигается командами:
3. Сдвиг на ячейку влево:
Решетка протаскивается сквозь все буквы слова и исчезает (или исчезает сразу, если слово пустое). Если в начальной конфигурации перед словом стоит несколько решеток, программу надо поменять так:
|
: 
, если 
, и 
, если входит.
. Иначе слово 
будет неправильно проанализировано (первая буква интересующей нас подцепочки будет пропущена). То же относится к команде 
, где 
для некоторого алфавита 
, причем 
.
ячеек, если состояния 
дополнительно маркировать номером итерации, ввести команды 
и 
при 
, а также команды 
и 
(для того же диапазона значений 
).
, где 
.
