계산 이론

위키백과, 우리 모두의 백과사전.
이동: 둘러보기, 검색

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