Turing Machine의 정의

1930 년대에 세계가 새로운 글로벌 대재앙을 향하고있을 때 컴퓨팅 그것은 또한 일부가 이미 도착할 것으로 예상했던 전쟁 노력에 대한 준비에 의해 많은 경우에 인도되어 진전되었습니다.

이 맥락에서 영국의 수학자 앨런 튜링 (후부 인)은 컴퓨팅 현대)는 그의 작품을 발전시키고, 1936 년에 컴퓨터 현대.

호출 튜링 머신 주어진 규칙에 따라 데이터를 처리 할 수있는 이론적 장치입니다.

규칙과 데이터는 모두 별개입니다. 실제로 Turing은 규칙이 일종의 고정 매체에 저장 될 것이라고 상상했지만 데이터는 동일한 기계가 테이블에 따라 수정할 수있는 테이프에 저장됩니다. 규칙.

우리는이 개념적 모델에서 현대 컴퓨터의 발전을 분명히 볼 수 있습니다. 사용자 이름 간단합니다. 쉽게 구분할 수 있습니다. 앱 "불변"(미묘한 차이가 있지만이 경우에는 그렇게합시다) 및 규칙에 따라 변경할 수있는 데이터입니다. 프로그램 작성.

이론적 인 Turing 머신은 매우 간단하지만 상태 변경과 같은 매우 기본적인 작업 만 수행합니다. 읽기와 쓰기, 기계 컴퓨터가 수행 할 수있는 모든 수학적 계산을 수행 할 수 있습니다. 연산.

즉, 문제가 연산 서면으로 적어도 이론적 수준에서 Turing 기계에 의해 처리 될 수 있습니다.

Alan Turing은 컴퓨터가 풀 수없는 수학적 문제가 있음을 보여주는 연습으로 생각했습니다.

Turing이 무한으로 생각한 데이터 테이프는 기계에 의해 오른쪽에서 왼쪽으로 이동할 수 있습니다. 되감거나 진행할 수있는 오래된 카세트 나 필름 테이프처럼 왼쪽에서 오른쪽으로 신중.

규칙 집합은 구문이 있어야하므로 프로그래밍 언어로도 이해할 수 있습니다. 논리 일관성이 있습니다.

돌이켜 보면 다른 수학자들은 튜링 머신의 더 정교한 버전을 만들었습니다.

따라서 두 개의 밴드, 결정 론자 또는 양자 튜링 기계를 가진 기계가 있습니다. 저명한 조상처럼 오랫동안 기다려온 계산의 토대를 마련하는 데 도움이 양자.

사진 Fotolia: Chrisdorney / Steve Simmons