이론 전산학에서, 튜링 기계(영어: Turing machine)는 긴 테이프에 쓰여있는 여러 가지 기호들을 일정한 규칙에 따라 바꾸는 기계이다. 상당히 간단해 보이지만 이 기계는 적당한 규칙과 기호를 입력한다면 일반적인 컴퓨터의 알고리즘을 수행할 수 있으며 컴퓨터 CPU의 기능을 설명하는데 상당히 유용하다.1936년 앨런 튜링은 계산하는 기계를 대표할 수 있는 가상의 장치를 만들었고이 장치에 영어 단어인 automatic의 a를 따서 "a-기계"라는 이름을 붙였다. 이 기계가 바로 나중에 창시자인 앨런 튜링의 이름을 따서 튜링 기계라 불리게 되었다.1948년 "똑똑한 기계"라는 글에서 앨런 튜링은 자신의 "a-기계"를 간결히 정의하였다. 1936년 논문 "계산 가능한 수와 결정성 문제에의 응용"을 언급하며 튜링기계(이 글에서는 논리적 계산 기계라는 표현을 사용한다.)를 다음과 같이 기술하였다.

PropertyValue
dbpedia-owl:abstract
  • 이론 전산학에서, 튜링 기계(영어: Turing machine)는 긴 테이프에 쓰여있는 여러 가지 기호들을 일정한 규칙에 따라 바꾸는 기계이다. 상당히 간단해 보이지만 이 기계는 적당한 규칙과 기호를 입력한다면 일반적인 컴퓨터의 알고리즘을 수행할 수 있으며 컴퓨터 CPU의 기능을 설명하는데 상당히 유용하다.1936년 앨런 튜링은 계산하는 기계를 대표할 수 있는 가상의 장치를 만들었고이 장치에 영어 단어인 automatic의 a를 따서 "a-기계"라는 이름을 붙였다. 이 기계가 바로 나중에 창시자인 앨런 튜링의 이름을 따서 튜링 기계라 불리게 되었다.1948년 "똑똑한 기계"라는 글에서 앨런 튜링은 자신의 "a-기계"를 간결히 정의하였다. 1936년 논문 "계산 가능한 수와 결정성 문제에의 응용"을 언급하며 튜링기계(이 글에서는 논리적 계산 기계라는 표현을 사용한다.)를 다음과 같이 기술하였다.
dbpedia-owl:wikiPageExternalLink
dbpedia-owl:wikiPageID
  • 786 (xsd:integer)
dbpedia-owl:wikiPageLength
  • 32233 (xsd:integer)
  • 32303 (xsd:integer)
dbpedia-owl:wikiPageOutDegree
  • 83 (xsd:integer)
  • 85 (xsd:integer)
dbpedia-owl:wikiPageRevisionID
  • 11903768 (xsd:integer)
  • 14469513 (xsd:integer)
dbpedia-owl:wikiPageWikiLink
prop-ko:accessdate
  • 2008-10-15 (xsd:date)
prop-ko:author
prop-ko:coauthors
  • Rajeev Motwani, Jeffrey D. Ullman
  • Yuri Gurevich
  • 론 시갈, 엘레인 J. 웨커
  • 리차드 제퍼리
  • 존 부르게스, 리차드 제퍼리,
prop-ko:doi
  • 10.111200 (xsd:double)
prop-ko:edition
  • 2 (xsd:integer)
  • 4 (xsd:integer)
  • 1.0
  • 3.0
prop-ko:first
  • A.M.
  • Donald E.
  • Fredrick
  • John E.
  • 마틴
  • 조지
  • 해롤드 S.
prop-ko:isbn
  • 0 (xsd:integer)
  • 3 (xsd:integer)
prop-ko:issue
  • 3 (xsd:integer)
  • 6 (xsd:integer)
prop-ko:journal
  • Bulletin of Symbolic Logic
  • 런던수학회지
prop-ko:last
prop-ko:location
  • Cambridge UK
  • New York
  • Reading Mass
  • Reading, Mass.
  • San Diego
prop-ko:month
  • September
prop-ko:pages
  • 230 (xsd:integer)
  • 544 (xsd:integer)
prop-ko:publicationDate
  • 1937 (xsd:integer)
prop-ko:publisher
  • Academic Press, Harcourt, Brace & Company
  • Addison Wesley
  • Addison–Wesley
  • Addison–Wesley Publishing Company
  • Addison–Wesley, Reading Mass
  • Addison–Wesley, Reading, Mass
  • Anchor Books/Doubleday
  • Cambridge University Press
  • McGraw-Hill Book Company, Inc, New York
  • McGraw–Hill Book Company
  • Oxford University Press, New York
  • PWS Publishing
  • Springer Verlag
  • W. H. Freeman and Company, New York
  • W. W. Norton & Company, New York
prop-ko:series
  • 2 (xsd:integer)
prop-ko:title
  • The Universal Turing Machine—A Half-Century Survey
  • Introduction to Computer Organization and Data Structures
  • Introduction to Automata Theory, Languages and Computation
  • Engines of Logic: Mathematicians and the origin of the Computer
  • Computability and Logic
  • Computability and Unsolvability
  • Computational Complexity
  • Volume 1/Fundamental Algorithms: The Art of computer Programming
  • Introduction to Computability
  • Introduction to the Theory of Computation
  • The Emperor's New Mind
  • Turing and the Computer—The Big Idea
  • Computability, Complexity, and Languages and Logic: Fundamentals of Theoretical Computer Science
  • 계산가능수와 결정문제에 대한 응용에 관하여
  • Introduction to Automata Theory, Languages, and Computation
  • A natural axiomatization of computability and proof of Church's Thesis
  • The Mathematical Tourist: Snapshots of Modern Mathematics
  • 계산가능수와 결정문제에 대한 응용에 관하여: 수정판
prop-ko:unusedData
  • id: QA248.5H4 1977
prop-ko:url
prop-ko:volume
  • 14 (xsd:integer)
  • 42 (xsd:integer)
  • 43 (xsd:integer)
prop-ko:wikiPageUsesTemplate
prop-ko:year
  • 1936 (xsd:integer)
  • 1938 (xsd:integer)
  • 1958 (xsd:integer)
  • 1972 (xsd:integer)
  • 1973 (xsd:integer)
  • 1977 (xsd:integer)
  • 1979 (xsd:integer)
  • 1988 (xsd:integer)
  • 1993 (xsd:integer)
  • 1994 (xsd:integer)
  • 1995 (xsd:integer)
  • 1997 (xsd:integer)
  • 2000 (xsd:integer)
  • 2001 (xsd:integer)
  • 2002 (xsd:integer)
  • 2008 (xsd:integer)
  • 19891990 (xsd:integer)
  • 19891999 (xsd:integer)
dcterms:subject
rdfs:comment
  • 이론 전산학에서, 튜링 기계(영어: Turing machine)는 긴 테이프에 쓰여있는 여러 가지 기호들을 일정한 규칙에 따라 바꾸는 기계이다. 상당히 간단해 보이지만 이 기계는 적당한 규칙과 기호를 입력한다면 일반적인 컴퓨터의 알고리즘을 수행할 수 있으며 컴퓨터 CPU의 기능을 설명하는데 상당히 유용하다.1936년 앨런 튜링은 계산하는 기계를 대표할 수 있는 가상의 장치를 만들었고이 장치에 영어 단어인 automatic의 a를 따서 "a-기계"라는 이름을 붙였다. 이 기계가 바로 나중에 창시자인 앨런 튜링의 이름을 따서 튜링 기계라 불리게 되었다.1948년 "똑똑한 기계"라는 글에서 앨런 튜링은 자신의 "a-기계"를 간결히 정의하였다. 1936년 논문 "계산 가능한 수와 결정성 문제에의 응용"을 언급하며 튜링기계(이 글에서는 논리적 계산 기계라는 표현을 사용한다.)를 다음과 같이 기술하였다.
rdfs:label
  • 튜링 기계
owl:sameAs
http://www.w3.org/ns/prov#wasDerivedFrom
foaf:isPrimaryTopicOf
is dbpedia-owl:knownFor of
is dbpedia-owl:wikiPageRedirects of
is dbpedia-owl:wikiPageWikiLink of
is foaf:primaryTopic of