이 소절에서는 양자적 상황을 도입하기 전에 필요한 고전적 계산 개념과 형식적 모형들을 다룬다. 아래의 순서를 이 분기의 국소 지도로 삼으라. 이 모형들을 서로 무관한 예비 지식으로 취급하지 말고, 뒤에 나올 양자적 일반화와 가까이 두라. Sequence 계산을 위한 모형 계산 문제의 분석