Alan Turing, Código Enigma, Colossus, Z1, Z3, ENIAC (John Presper Eckert y John William Mauchly), UNIVAC, John von Neumann