====== 계산 모델 ======

[[계산]], 또는 그와 동등한 [[알고리즘]]을 기술하기 위한 [[수학]]적 모델. 알고리즘은 곧 그 알고리즘이 받아 들이는 [[형식언어]]를 기술하는 것으로 생각할 수도 있으므로 이는 형식언어론과도 연결되며, 형식 언어의 종류를 기술하는 [[계산복잡도]] 이론과도 연결된다.

[[튜링기계]]와 [[람다대수]](서로 동치임)가 아마 가장 잘 알려져 있을 것이다... <del>다 쓰기 구찮군</del>

{{tag>전산학}}