Alan Turing이 고안해낸 가상의 계산 모델. 람다 대수 따위와 동일한 계산 능력을 가지고 있으며 아마 이게 우리가 생각할 수 있는 가장 최고의 계산 모델일 거라는 예측이 있다. (처치튜링명제)