계산 모델

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

튜링 기계람다 대수(서로 동치임)가 아마 가장 잘 알려져 있을 것이다… 다 쓰기 구찮군


도쿠위키DokuWiki-custom(rev 9085d92e02)을 씁니다.
마지막 수정 2011-05-30 18:25 | 외부 편집기