计算理论 【theory of computation】 用来研究计算的过程与功效的数学理论。1936年，数理逻辑专家便提出了计算模型的问题，借以解决每个问题是否都有解。通用图灵机影响了计算机的设计思想。计算理论主要包括算法、算法学、计算复杂性理论、可计算性理论、自动机理论和形式语言理论等。作为计算机科学的理论基础的计算理论已经广泛应用于科学的各个领域，程序存储式计算模型就是以图灵机为基础产生的，程序设计中则使用了递归函数的思想，自动机作为一种基本工具被广泛的应用在程序设计的编译过程中。随着科技的发展，计算理论会更多的应用于其他领域。