В каждую ячейку ленты может быть записан лишь один символ

В каждую ячейку ленты может быть записан лишь один символ.

• В каждую ячейку ленты может быть записан лишь один символ.
• Информация, хранящаяся на ленте, изображается конечной последовательностью символов внешнего алфавита, отличных от пустого символа.
• Головка всегда расположена над одной из ячеек ленты.
• Работа происходит тактами (шагами).

Система исполняемых головкой команд предельно проста:

• Система исполняемых головкой команд предельно проста:
• на каждом такте она производит замену символа в обозреваемой ячейке ai символом aj
• При этом возможны сочетания:
• j = i – это означает, что в обозреваемой ячейке символ не изменился;
• i_0, j = 0 означает, что хранившийся в ячейке символ заменяется пустым, т.е. стирается;
• i =0, j_ 0 означает, что пустой символ заменяется непустым (с номером j в алфавите), т.е. производится вставка символа;
• i j_ 0 соответствует замене одного символа другим.