계산 이론의 종류