Originalmente fue definida por el matemático inglés Alan Turing como una «máquina automática» en 1936, en la revista "Proceedings of the London Mathematical Society" La máquina de Turing no está diseñada como una tecnología de computación práctica, sino como un dispositivo hipotético que representa una máquina de computación.