A . 图灵机是一种抽象计算模型
B . 图灵机由控制器、运算器和存储器组成
C . 图灵机是人类历史上生产出的第一台电子计算机
D . 图灵机的理论是在冯•诺依曼的理论基础上产生的