A . 图灵机是一种抽象计算模型，并没有真正生产出来
B . 图灵机的理论是在冯•诺依曼型计算机体系结构基础上产生的
C . 图灵机是一种数学自动机模型，包含了存储程序的思想
D . 在图灵机的基础上发展了可计算性理论