计算理论

计算理论是一种形式化理论，研究什么是计算。图灵机是一种理论计算机模型。