Turing machines

A theoretical computing model used to explore the limits of computation and algorithms.