计算机的数学理论基础是图灵机模型。