튜링기계 예제

튜링의 진술은 여전히 다섯 가지 원자 작전을 암시한다. 주어진 명령 (m-구성) 기계에서 : 튜링 기계 시뮬레이터. 이것은 밥 세지윅과 케빈 웨인의 감독하에 톰 벤티밀리아가 자바로 작성한 그래픽 튜링 머신 시뮬레이터입니다. 튜링 머신의 예제는 0과 1의 문자열을 처리하고 0은 빈 기호로 표시됩니다. 그 작업은 그들 사이에 0을 작성하여 테이프에 발생하는 1s의 시리즈를 두 배로하는 것입니다. 예를 들어 헤드가 « 111 »을 읽으면 0을 작성한 다음 « 111 »을 씁니다. 출력은 « 1110111 »이 됩니다. 3 상태 바쁜 비버의 전체 « 실행 ». 결과 튜링 상태 (튜링이라고 무엇 « m-구성 »- « 기계 구성 ») 열 A에서 회색으로 강조 표시하고, 또한 기계의 지침 (열 AF-AU)에 따라 표시 : 튜링 (튜링 등 해설자의 숫자에 의해 관찰) 1937) 자신, (예를 들어, 포스트 (1936), 포스트 (1947), Kleene (1952), 왕 (1954)) 튜링 지침은 원자가 아니다 – 모델의 추가 단순화는 계산 력을 감소시키지 않고 이루어질 수있다; 자세한 내용은 포스트 튜링 기계에서 확인할 수 있습니다. 예: 이진 변환에 대한 불번입니다. 우리는 아래 그림 4 상태 튜링 기계를 고려합니다. 현재 상태와 입력 기호는 노란색으로 강조 표시됩니다.

우리는 실행을 추적합니다. 위의 튜링 기계의 매우 간단한 표현이다. 그것은 일반적인 컴퓨터의 메모리처럼 작동 무한히 긴 테이프로 구성, 또는 데이터 스토리지의 다른 형태. 테이프의 사각형은 일반적으로 시작 시 비어 있으며 기호로 작성할 수 있습니다. 이 경우, 기계는 기호 0과 1 « 과 « (빈)만 처리 할 수 있으며, 따라서 3 심볼 튜링 기계라고합니다. 튜링 머신은 물리학과 수학을 연결합니다 (튜링의 원래 동기 부여, 계산의 열역학). 16 개의 기계 구성 (일명 튜링 상태)을 통해 기계 시퀀스의 « 실행 »: 그러나 이 작업을 수행하는 더 간단하고 틀림없이 더 많은 « 튜링 기계 스타일 »방법이 있습니다. 비종화 튜링 기계. 이론적 관점에서 볼 때, 우리는 주로 유한한 계산을 수행한 다음 중단하는 기계에 관심을 가지고 있습니다.

그러나 많은 실용적인 응용 프로그램은 종료하지 않는 프로그램 (운영 체제, 항공 교통 관제 시스템, 원자로 제어 시스템) 또는 출력의 무한한 양을 생성하도록 설계 된 프로그램을 포함 (웹 브라우저, π의 숫자를 계산하는 프로그램 = 3.1415…).

Previous post

데이터 분석 예제

Next post

해쉬맵 예제

sovab-presse

sovab-presse