1945年冯·诺伊曼发表了 “关于离散变量自动电子计算机EDVAC (Electronic Discrete Variable Automatic Computer)的设计草案”。这台计算机由他设计，不仅数据，程序也可存储在计算机中。数据可变，程序也可变，是所谓“存储程序式”的通用计算机。建造合同1946 年 4 月签订。预算是十万美元,但最后耗资五十万。1949 年 8 月交付美国军队的弹道研究实验室，1951 年开始运行

最先实现“存储程序式”计算机的是EDSAC(Electronic Delay Storage Automatic Calculator)。它采用水银延迟先做存储器，可存储512个34bit字长的字，研制者是英国剑桥大学威尔克斯(M.V.Wilkes)。伦敦一家面包公司(Lyons)投资，1949年5月6日试运行成功。1951年批量生产投入市场LEO(Lyons Electronic Office)。但是他的设计思想完全来自冯·诺伊曼的EDVAC的设计。而冯·诺伊曼的设计思想却又来自图灵1936年的文章中引入的概念—图灵机器和通用图灵机。

之所以这么快就由硬件连线构成的专用计算机过渡到“存储程序式”的通用计算机，完全归功于通用图灵机概念的引入。因而我们说，是图灵的图灵机理论奠定了通用电子计算机设计的理论基础。这种理论准备同电子技术的结合才最终产生了20世纪最伟大的奇迹。

                                                （未完待续）