O modelo de Turing foi criado em 1937 por Alan Turing, e a sua inovação consistia na utilização de um programa. O programa tem a função de informar ao computador o que deve ser feito com os dados. Desse modo, o dado de saída passa a depender do dado de entrada e do programa.