A图灵机是一种抽象计算模型，并没有真正生产出来

B图灵机的理论是在冯•诺依曼型计算机体系结构基础上产生的

C图灵机是一种数学自动机模型，包含了存储程序的思想

D在图灵机的基础上发展了可计算性理论