계산 이론: 두 판 사이의 차이

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