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

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

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

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

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