튜링 머신의 개념은 오토마타에서 파생 되었습니까?

최근에 "튜링 머신이 오토마타에서 파생 된 것입니까 아니면 다른 방법일까요?"

나는 물론 답을 알지 못했지만 궁금한 점이 궁금합니다. Turing Machine은 기본적으로 Push-Down Automata의 약간 더 정교한 버전입니다. 그로부터 나는 튜링 머신이 오토마타에서 파생되었다고 가정하지만, 확실한 증거 나 설명은 없습니다. 나는 단지 잘못되었을 수도 있습니다 ... 아마도 그들은 고립되어 개발되었을 것입니다.

부디! 이 얽힘의 영원한 접선에서이 마음을 자유롭게하십시오.

둘 다!

이 독립성을 보는 가장 좋은 방법 은 원본 을 읽는 것 입니다.

• 튜링 기계를 소개하는 튜링의 1936 년 논문 은 더 단순한 유형의 (추상적 인) 유한 자동 기계를 언급하지 않습니다.

• McCulloch와 Pitts의 1943 년 논문 은 현대 유한 상태 기계의 선구자 인 "너브 넷 (netve-nets)"을 소개했는데, 계산 자체가 아니라 신경 활동의 단순화 된 모델로 제안했다.

흥미로운 초기 관점을 보려면 튜링 머신에 대한 전체 섹션이 있지만 Claude Shannon 의 1953 년 설문 조사를 참조하십시오. 그러나 그가 Kleene의 1951 보고서를 인용하더라도 오늘날 우리가 인식 할 수있는 유한 오토 마타에 대해서는 아무 것도 말하지 않습니다.

현대 유한 유한 오토마타는 논란의 여지가 있지만 , 1951 년 RAND 기술 보고서로 출판 된 1956 년의 Kleene 논문으로 시작되었으며 , 정규 표현식을 정의했습니다. Kleene은 Turing의 결과를 확실히 알고 있었으며 거의 동시에 비슷한 결과를 (기본 재귀 함수의 언어로) 발표했습니다. 그럼에도 불구하고 Kleene의 Turing에 대한 유일한 언급은 Turing 기계가 테이프가 제한되어 있기 때문에 유한 한 오토마타가 아니라는 설명입니다. 물론 Kleene의 사고가 Turing의 추상화에 영향을 받았을 수도 있지만 Kleene의 정의는 (나에게) 독립적 인 것으로 보입니다.

에서 섀넌과 매카시에 의해 편집 1956 설문 조사 볼륨 모두에서, 일반 experssions에 Kleene의 종이 와 유한 상태 트랜스 듀서에 무어의 용지가 드디어 발표되었다, 유한 오토마타 및 튜링 기계는 거의 완전히 독립적으로 나란히 논의 만했다. 무어는 또한 튜링을 인용하지만, 튜링 기계가 유한 한 오토마타가 아니라는 각주에서만 언급됩니다.

( Kline의 최근 논문은 이 책과 다소 다름없는 다트머스 회의 (때로는 "AI의 발상지"라고 불림)의 역사에 대해 이야기합니다.)

(이전 버전의 신경망은 1937 년경 "필수 튜링"책에서 재 인쇄 된 "타입 B 머신"에 대한 튜링의 연구에서 찾을 수 있습니다. 많은 사람들이 그 아이디어를 가지고 놀았 던 것 같습니다. 오늘날에도 많은 CS 학부생들은 역사를 발견하기 전에 연구의 어느 시점에서 그것을 발명했다고 생각합니다.)

PDA를 구체적으로 언급합니다. 튜링 머신은 스택이 2 개인 PDA에 해당합니다. PDA의 원래 이론적 근거는 "언어 이론"ala chomsky의 개발과 밀접한 관련이있는 것으로 보인다.

예를 들어, 구문 분석 및 푸시 다운 저장소, "응용 수학에서의 심포지엄 (Vol. 12)"을 참조하십시오. 프로비던스, RI : American Mathematical Society, 1961

이것은 Oettinger가 "자동 구문 분석 및 푸시 다운 저장소"p104에서 본 최초의 참고 문헌 중 하나입니다 .PDA에 대한 초기 참조가 있는지 알 수 없습니다.

통일 된 이론을 고안하기 시작하기 위해서는 모든 상호 관련 오토마타에 대한 수년간의 연구가 필요했습니다 (아직 건설 중). 튜링 완성 개념은 30 년대 후반에 고안되었으므로 (교회가 독자적으로 개발 한) 람다 미적분이 튜링 기계와 동등 함과 동시에 포스트 기계와 동등 함이 보여 졌음에도 불구하고 (이 3 가지 모델은 다소 고안되었지만) 독립적이고 & 원래의 구조에서 튜링과 동등한 것으로 즉시 인식되지 않음).

셀룰러 오토마타 (Cellular Automata)는 훨씬 더 최근의 이력을 가지고 있으며 다양한 의미에서 튜링이 완성 된 것으로 밝혀졌습니다.

컴퓨터 과학 분야에서 일하는 대부분의 사람들이 Turings seminal 1936 논문에 대해 잘 알고 있었고, 이후의 모든 오토마타 구성 (특히 Turing에 의해 도입 된 것으로 보이는 상태 전이 테이블의 개념)에 큰 영향을 미쳤다고 말하는 것은 공정한 것 같습니다.

그것의 지옥을 위해서만 :

뒤돌아 보면 Turing의 1936 년 Entscheidungs ​​문제 논문의 중요성은 무엇이라고 하시겠습니까?

나는 항상 사람들이 노래와 춤을 좋아한다고 느꼈습니다. 삼위 일체 교리와 같은 것이 엔지니어에게는 저장 프로그램 아이디어에 대해서만 들려야하며 즉시 "최고의 평가를받는 방법입니다."라고 말할 것입니다. 이것이 전부였습니다.

그 논문에는 실질적인 의미가있는 차이가 없었다. 그는 그것을 출판하는 것이 운이 좋았지 만 그가 한 것을 매우 기쁘게 생각합니다. [Alonzo] Churchl은 다른 방법으로 같은 결과를 얻었습니다.

나는 튜링을 좋아했다. 우리가 아주 잘 지냈어 그는 법을 세우는 것을 좋아했고, 그는 그를 사랑하지 않았지만 그와 나는 꽤 잘 지 냈습니다. 사람들은 때때로 내가 튜링을 타지 않았다고 말하지만 사실이 아닙니다. 그러나 나는 참여하지 않기 위해 매우 조심했다.

모리스 윌크스. http://cacm.acm.org/magazines/2009/9/38898-an-interview-with-maurice-wilkes/fulltext