튜링(Alan Turing)이 소개한 읽고 쓸 수 있는 무한 길이의 테이프와 유한 제어로 구성된 유효 절차의 형식 모델. 테이프는 셀(cell)로 구분되어 있고, 각 셀은 하나의 부호를 저장할 수 있으며, 유한 제어는 유한 개의 상태 중 한 상태에 놓인다. 작동은 연속적인 움직임으로 구성된다. 그리고 테이프 헤드가 살피고 있는 셀의 부호와 현재의 유한 제어의 상태에 따라 새로운 부호를 셀에 바꾸어 놓고, 헤드를 왼쪽 또는 오른쪽 이웃 셀로 옮기며, 유한 제어는 새로운 상태에 놓임으로써 한 움직임이 수행된다. 입력 단어가 테이프에 저장된 후, 특별한 상태인 시작 상태에서 작업을 시작하여, 종료 상태에 놓일 때 튜링 기계는 입력 단어를 인식한다.