以下哪些是阿兰?图灵提出的？

以下哪些是阿兰?图灵提出的？
A.图灵测试
B.图灵机
C.重新创立了二项式理论，发明了自己的微积分记号
D.成功破译恩尼格玛加密的通信
正确答案：ABCD