以下关于图灵机的说法，正确的是（）。

A.图灵机是一种抽象计算模型

B.图灵机由控制器、运算器和存储器组成

C.图灵机是人类历史上生产出的第一台电子计算机

D.图灵机的理论是在冯•诺依曼的理论基础上产生的