계산 이론

계산 이론(計算理論, Theory of computation)은 컴퓨터 과학의 한 갈래로, 어떤 문제를 컴퓨터로 풀 수 있는지, 또 얼마나 효율적으로 풀 수 있는지를 탐구한다. 이 분야는 크게 계산 가능성 이론과 계산 복잡도 이론으로 나뉘어 있는데, 두 분야 모두 추상 기계를 다룬다.