以下关于“计算”的数学模型是：

以下关于“计算”的数学模型是：
A.哥德尔和克莱尼的递归函数模型
B.丘奇的Lambda演算模型
C.波斯特的Post机模型
D.图灵的图灵机模型
正确答案：ABCD