An abstract computational device that can simulate any computer algorithm and is used in studying the limits of computation.