Машина Тьюринга — абстрактная машина, состоящая из бесконечной в одну сторону ленты, разделенной на клетки, и управляющей головки, которая может передвигаться вдоль ленты. Символы входного алфавита, включающие пустой символ, могут размещаться на ленте по одному в клетке. Управляющая головка может находится в одном из конечного числа внутренних состояний, один из которых является особым. Оно соответствует выключению М.Т. Каждый шаг работы состоит в том, что управляющая головка по паре (наблюдаемый символ в клетке ленты, против которой находится управляющая головка; — внутреннее состояние головки) вырабатывает тройку (новое содержимое клетки — новое внутреннее состояние головки — сдвиг головки на одну клетку влево или вправо или сохранение положения головки). Работа М.Т. заканчивается, когда управляющая головка переходит в состояние конца работы. Начальное заполнение ленты и начальное положение управляющей головки вместе с ее начальным состоянием задаются извне. Действия М.Т. на каждом шага определяются конечной таблицей, размер которой соответствует числу символов внешнего алфавита и числу внутренних состояний головки. М.Т. является моделью универсального вычислительного процесса, так как можно построить универсальную М.Т., которая будет имитировать работу любой конкретной М.Т. В этом смысле универсальная М.Т. может рассматриваться как математическая модель ЭВМ, построенной по традиционной архитектуре. М.Т. является одним из возможных уточнений понятия известным в дискретной математике. Языки, порождаемые в результате работы М.Т., называются рекурсивно-перечисленними.
[Толковый словарь по искусственному интеллекту / Авторы-составители А.Н. Аверкин, М.Г. Гаазе-Рапопорт, Д.А. Поспелов. М.: Радио и связь, 1992. — 256 с.]