Fra 1945 til 1947 bodde Turing i Hampton i London mens han arbeidet med konstruksjonen av ACE (Automatic computing engine/Automatisk databehandlingsmaskin) ved National Physical Laboratory (NPL). Den 19. februar 1947 skrev han den første artikkel som omhandlet en programstyrt datamaskin. John von Neumanns ufullstendige artikkel, var presentert før Turings, men den var mindre detaljert. Ifølge lederen for NPLs matematikkdivisjon John R. Womersley, inneholdt von Neumanns artikkel flere ideer som stammer fra Turing.