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