Общие сведения. Маши́на Тью́ринга (МТ) – абстрактный исполнитель (абстрактная вычислительная машина)

Маши́на Тью́ринга (МТ) – абстрактный исполнитель (абстрактная вычислительная машина). Была предложена Аланом Тьюрингом в 1936 году для формализации понятия алгоритма.

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

Рис. 13. Художественное представление машины Тьюринга