Машина Тьюринга — это формальная модель вычислений, которая манипулирует символами по правилам на абстрактной ленте. Она обеспечивает фундаментальную основу для изучения computability, algorithms и пределов того, что могут вычислять машины.
A mathematical model of computation describing an abstract machine that manipulates symbols on a strip of tape according to a table of rules. Despite the model's simplicity, it is capable of implementing any algorithm.