13.5. Пример

Анализ работы машины Тьюринга, программа для которой задана таблицей

Состояние УУ	Буква на ленте
	Пусто	
1	СТОП	Стереть  Перейти к состоянию 2 Влево
2	Записать  Перейти к состоянию 3 Влево	Сохранить состояние 2 Влево
3	Записать  Перейти к состоянию 4 Вправо	Сохранить состояние 3 Влево
4	Перейти к состоянию 1 Вправо	Сохранить состояние 4 Вправо

Далее представлен процесс изменения конфигураций машины Тьюринга, обеспечивающий решение задачи удвоения числа, заданного словом в однобуквенном алфавите (набором крестиков “”). На входе имеем “”, а на выходе – “”. Машина работает в двухбуквенном алфавите A = {пусто, }.

* Можно представить себе текущее состояние как некоторый указатель на то, что произошло в машине к настоящему шагу (моменту) работы и что произойдет в следующем.

* Машина Тьюринга управляется данными (data-driver). Алгоритм на каждом шаге производит локальное преобразование данных (имеет место так называемый принцип локальной правильности).

7