Тверской государственный университет
Опубликован: 21.08.2007 | Доступ: свободный | Студентов: 1310 / 43 | Оценка: 5.00 / 5.00 | Длительность: 14:18:00
ISBN: 978-5-94774-714-0
Специальности: Программист, Математик
Лекция 10:

Вычислимые функции, тезис Тьюринга-Черча и неразрешимые проблемы

< Лекция 9 || Лекция 10: 12345

Моделирование структурированных программ машинами Тьюринга

На первый взгляд могло показаться, что машины Тьюринга с их примитивными элементарными действиями являются более слабыми вычислительными моделями, чем структурированные программы. Но после того, как мы научились реализовывать с их помощью операторы "высокого уровня " - условия и циклы, уже не удивительно, что они позволяют вычислить не меньше, чем структурированные программы.

Теорема 10.2. Всякая арифметическая функция, вычислимая некоторой структурированной программой, может быть вычислена также некоторой машиной Тьюринга.

Доказательство Пусть структурированная программа \Pi вычисляет арифметическую функцию f(x1, ..., xn). Не ограничивая общности, будем считать, что Var_{\Pi } =\{ x_{1}, \dots , x_{n}, xn+1, ..., xm } и что результирующей переменной является x1. М.Т. M_{\Pi }, моделирующая \Pi, будет иметь m -этажную ленту с алфавитом \Sigma  =\{ \wedge ,  |, *\} \cup  \{ \wedge ,  |\} ^{m}. Обозначим конфигурацию ленты M\Pi, в которой на i -ом этаже, начиная с 1-ой ячейки, записано слева направо ki символов '|' (i = 1, 2, ..., m), а далее идут "пустышки " \wedge, как (k1, k2, ..., km). Тогда состоянию \sigma : Var_{\{ }\Pi \}  \to  N программы \Pi будет соответствовать конфигурация ленты M_{\Pi }: K_{\sigma } =(\sigma (x_{1}),\sigma (x_{2}),\dots  , \sigma (x_{m})).

M_{\Pi } получается с помощью конструкций последовательной композиции, условного оператора и цикла из простых машин Тьюринга, реализующих элементарные присваивания и условия структурированных программ.

Команду xi := 0 (i=1,... , m) программы \Pi реализует м.Т. Mi0 , обнуляющая i -ый этаж M, т.е. переводящая любую конфигурацию (k1,..., ki-1,ki, k i+1 ..., km) в конфигурацию (k1,..., k i-1, 0, ki+1, ... , km). Команду xi := xi +1 (i=1,... , m) программы \Pi реализует м.Т. Mi+1 , добавляющая один символ ' | ' справа на i -ом этаже, т.е. переводящая любую конфигурацию (k1,..., k i-1, ki, ki+1 ... , km) в конфигурацию (k1,..., k i-1, ki+1, ki+1, ... , km). Команду xi := xj (i, j=1,... , m) программы \Pi реализует м.Т. Mij, переписывающая содержимое j -го этажа на i -ый, т.е. переводящая любую конфигурацию (k1,..., ki, ..., kj, ... , km) в конфигурацию (k1,..., kj, ... , kj, ... , km).

Условие xi = xj реализуется машиной \Phi  _{=}^{ij}, которая, работая на конфигурации (k1, ..., ki, ..., kj, ... , km) выдает 0, если ki=kj, и 1 - в противном случае.

Условие xi < xj реализуется машиной \Phi _{<}^{ij}, которая, работая на конфигурации (k1, ..., ki, ..., kj, ... , km) выдает 0, если ki < kj, и 1 - в противном случае.

Далее по индукции: пусть \Pi _{1} и \Pi _{2} - структурированные программы, для которых построены соответствующие машины Тьюринга M_{\Pi_1} и M_{\Pi_2}, а \Phi - некоторое условие, реализуемое м.Т. M_{\Phi }. Тогда программа \Pi = \Pi _{1} ; \Pi _{2} реализуется машиной M_{\Pi}=M_{\Pi_1};M_{\Pi_2} программа \Pi = если \Phi то \Pi _{1} иначе \Pi _{2} конец реализуется машиной M_{\Pi }=  if M_{\Pi } then M_{\Pi 1} else  M_{\Pi 2} endif, а программа \Pi = пока \Phi делай \Pi _{1} все реализуется машиной M_{\Pi }= while M^{\Pi} do M_{\Pi 1} enddo.

Используя доказанные выше свойства конструкций машин Тьюринга, нетрудно проверить по индукции следующее

Утверждение 1. Пусть м.Т. M_{\Pi } реализует в соответствии с приведенными определениями структурированную программу \Pi. Тогда для любого состояния \sigma программы \Pi \Pi (\sigma ) = \sigma _{1} тогда и только тогда, когда м.Т M_{\Pi }, начав работу в конфигурации K_{\sigma } завершит ее в конфигурации K_{\sigma 1}.

Теперь для завершения доказательства теоремы достаточно взять в качестве результирующей следующую м.Т.: M = M_{start}; M_{\Pi }; M_{end}, где м.Т. Mstart переводит одноэтажную начальную конфигурацию |^{x_1}*|^{x_2}*\ldots |^{x_n} в m -этажную конфигурацию (x1, x2,..., xn, 0,..., 0), а м.Т. Mend заключительную m -этажную конфигурацию (x1, 0,..., 0) переводит в одноэтажную заключительную конфигурацию |x1.

< Лекция 9 || Лекция 10: 12345
Гасан Баширов
Гасан Баширов
Азербайджан, Баку
Сергей Злобин
Сергей Злобин
Россия, Подольск