이 절에서는 양자 계산이 그에 비추어 정의되고 비교되는 추상적 계산 모델들을 다룬다. 아래 순서를 이 절의 길잡이로 삼으면 된다. 순서 01. 튜링 기계 02. 회로 모델 03. 처치-튜링 명제