Desenvolvida por Alan Turing, a Máquina de Turing é uma ideia abstrata de um computador capaz de computar qualquer número expresso simbolicamente. Este conceito fundamentou a teoria da computação moderna.