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