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