I 1936 publiserte Alan Turing end teoretisk modell for en universell datamaskin. Den første datamaskinen ENIAC trengte likevel omkobling for å kjøre nye programmer, mens Manchester Mark 1 kunne omprogrammeres via et tastatur.