Машина Тьюринга

развитие информатики. Кавалер Ордена Британской империи , член Лондонского королевского

общества . Предложенная им абстрактная вычислительная «Машина Тьюринга», которую можно считать моделью компьютера общего назначения, позволила формализовать понятие алгоритма и до сих пор используется во множестве теоретических и практических исследований. Научные труды А. Тьюринга — общепризнанный вклад в основания информатики (и, в частности, — теории искусственного интеллекта). Тьюринг разработал ряд методов взлома, в том числе теоретическую базу для Bombe — машины, использованной для взлома немецкого шифратора Enigma. После войны Тьюринг работал в Национальной физической лаборатории, где по его проекту был реализован первый в мире компьютер.

Тьюрингом в 1936 году для формализации понятия алгоритма.

стороны лента, разделённая на ячейки, и управляющее устройство (также называется

головкой записи-чтения (ГЗЧ)), способное находиться в одном из множества состояний. Число возможных состояний управляющего устройства конечно и точно задано.
Управляющее устройство может перемещаться влево и вправо по ленте, читать и записывать в ячейки символы некоторого конечного алфавита. Выделяется особый пустой символ, заполняющий все клетки ленты, кроме тех из них (конечного числа), на которых записаны входные данные.
Управляющее устройство работает согласно правилам перехода, которые представляют алгоритм, реализуемый данной машиной Тьюринга. Каждое правило перехода предписывает машине, в зависимости от текущего состояния и наблюдаемого в текущей клетке символа, записать в эту клетку новый символ, перейти в новое состояние и переместиться на одну клетку влево или вправо. Некоторые состояния машины Тьюринга могут быть помечены как терминальные, и переход в любое из них означает конец работы, остановку алгоритма.

называется пустой символ.
В этом алфавите в виде слова

кодируется исходный набор данных и результат работы алгоритма Устройство машины Тьюринга.

С}
В любой момент времени машина М находится в одном

из состояний q0, q1, …, qm


Символы {П, Л, С} – символы сдвига (вправо, влево, на месте)

каждую из которых может быть записана только одна буква.

с линейной памятью, которая согласно формальным правилам преобразует входные данные

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