2.2. Построение машины Тьюринга

2.2.1. Вычисления на машине Тьюринга

Машина Тьюринга [5] – это автомат A={X, Q, f, ₁, ₂, q₁}, где Х – множество символов, которые могут быть записаны в ячейках ленты; Q - множество состояний, в которых может находиться автомат; q_t=f(q_i, x_j) - функция переходов автомата в новое состояние q_t в зависимости от текущего состояния q_i и считанного из текущей ячейки ленты символа x_j ; x_k=₁(q_i, x_j) - функция выходов автомата, которая определяет, какой символ x_k  будет записан в текущую ячейку ленты в зависимости от текущего состояния автомата q_i и считанного значения x_j ячейки ленты; z_l=₂(q_i, x_j) - функция выходов, определяющая направление передвижения головки вдоль ленты u{R, L, S}, где R (L) - команда сдвига вправо (влево) на одну ячейку, S - команда стоять на месте; q₁Q - начальное состояние автомата.

Работа машины Тьюринга (МТ) описывается функциональной схемой, предcтавляющей собой двухмерную таблицу размерностью mхn (n – мощ-ность множества X, m - мощность множества Q), в каждой ячейке которой содержится тройка символов: (x_k, u, q_t). Функциональную схему (ФС) можно рассматривать как программу МТ, где каждая строка соответствует команде выбора по условию. В зависимости от символа, который обозревает головка, выбирается то или иное продолжение программы, включающее три действия: записать в текущую ячейку ленты значение x_k , сдвинуть головку в направлении u, перевести автомат в новое состояние q_t (безусловный переход на метку q_t - на строку, соответствующую состоянию q_t).

Автомат МТ может быть полностью или частично детермини-рованным. В первом случае ФС автомата заполнена полностью, во втором - ФС может содержать пустые ячейки: если текущая ячейка на пересечении строки q_t и столбца x_k, пуста, то в некотором состоянии q_t никогда не может быть прочитан символ x_k.

Доказано, что МТ является универсальным вычислительным устрой-ством, т.е. что для любого алгоритма существует МТ, реализующая этот алгоритм.

В данной курсовой работе необходимо построить МТ, которая вычисляет заданную функцию (см. список вариантов заданий по МТ).

Выполнение задания состоит в описании ФС для созданной МТ. Областью определения и областью значений вычисляемой функции являются положительные целые числа, записанные на ленте МТ.

Удобна следующая кодировка используемых на ленте чисел: число n представляется n+1 расположенными подряд в ячейках символами “1” (число 0 - “1”, число 1 - “11”, число 2 - “111” и т. д.), числа на ленте разделяются ячейками с символом “0” (пустая ячейка).

Определение 1. МТ начинает работать при следующих условиях:

1. МТ находится в начальном состоянии q₁ Q;

2. На ленте представлена последовательность m чисел (n₁, n₂,,..., n_m):

3. Все ячейки ленты справа и слева от заданной последовательности чисел пусты (содержат символы “0”);

4. Программист знает, какую ячейку ленты обозревает головка автомата в начальном состоянии.

Следует отметить, что установка головки в исходное положение не является задачей программиста. Однако для стандартизации работы различных МТ удобно считать, что перед началом работы машины головка установлена напротив ячейки, содержащей первую единицу числа n₁ (головка обозревает первую единицу первого аргумента функции). Такое положение головки будем называть стандартным.

Определение 2. Машина Тьюринга вычисляет функцию

y=f(n₁, n₂, ..., n_m ) от m переменных, если для любых n₁, n₂ ..., n_m существует такой момент времени, что:

• МТ достигнет состояния останова (! - его обозначение);

• на ленте будет получен результат вычисления функции y=f (n₁, n₂, ... , n_m) (соответствующее числу у количество единиц; справа эта последовательность ограничена пустыми ячейками);

• головка обозревает первую единицу числа у.

В качестве дополнительных условий при построении МТ могут быть указаны такие требования:

• сохранение на ленте исходной последовательности чисел, т.е. в результате работы МТ на ленте будет представлена система чисел (n₁, n₂, ... , n_m, у);

• возвращение головки в стандартное положение;

• все ячейки, расположенные левее и правее результата работы МТ, пусты (содержат символ “0”).

Например, нужно вычислить функцию y=n₁+n₂+n₃. При начальных ус-ловиях лента выглядит следующим образом: q₁ ... 011101111011000...

На ленте записаны числа 2, 3, 1; головка находится в стандартном положении. Обозначение текущего состояния автомата помещается перед последовательностью символов на ленте, а указателем положения головки является подчёркивание символа в текущей ячейке ленты. Такое пред-ставление ситуации на ленте в совокупности с указанием состояния МТ называют её конфигурацией.

По окончании работы МТ лента может выглядеть так: