-
La macchina tabulatrice di Herman Hollerith
La macchina tabulatrice aveva come base l'idea delle schede perforate di Charles Babbage, ma in questo caso le schede non specificavano il programma, bensì gli input e gli output.
Ogni scheda rappresentava delle risposte (per esempio "maschio" poteva essere rappresentato da una perforazione e "femmina" dalla mancanza di perforazione), usando un particolare codice (chiamato "codice Hollerith"); -
La macchina di Turing
Introdotta nel 1936 da Alan Turing come modello di calcolo per dare risposta all'Entscheidungsproblem (problema di decisione) proposto da Hilbert nel suo programma di fondazione formalista della matematica, è un potente strumento teorico che viene largamente usato nella teoria della calcolabilità e nello studio della complessità degli algoritmi, in quanto è di notevole aiuto agli studiosi nel comprendere i limiti del calcolo meccanico