| Property |
Value |
| dbo:abstract
|
- En ciencias de la computación, una máquina universal de Turing (UTM) es una máquina de Turing que puede simular una máquina de Turing arbitraria en la entrada arbitraria. La máquina universal esencialmente logra esto mediante la lectura de tanto la descripción de la máquina a ser simulada como también la entrada misma de su propia cinta. Alan Turing introdujo esta máquina en 1936-1937. Este modelo es considerado por algunos (por ejemplo, ) el origen del computador de programa almacenado — usado por John von Neumann (1946) para el "instrumento de computación electrónica" que ahora lleva el nombre de von Neumann: la arquitectura de von Neumann. Es también conocida como una máquina de computación universal, máquina universal. En términos de complejidad computacional, una máquina universal de Turing de múltiple cinta sólo necesita ser más lenta por un factor logarítmico, comparada con las máquinas que simula. (es)
- En ciencias de la computación, una máquina universal de Turing (UTM) es una máquina de Turing que puede simular una máquina de Turing arbitraria en la entrada arbitraria. La máquina universal esencialmente logra esto mediante la lectura de tanto la descripción de la máquina a ser simulada como también la entrada misma de su propia cinta. Alan Turing introdujo esta máquina en 1936-1937. Este modelo es considerado por algunos (por ejemplo, ) el origen del computador de programa almacenado — usado por John von Neumann (1946) para el "instrumento de computación electrónica" que ahora lleva el nombre de von Neumann: la arquitectura de von Neumann. Es también conocida como una máquina de computación universal, máquina universal. En términos de complejidad computacional, una máquina universal de Turing de múltiple cinta sólo necesita ser más lenta por un factor logarítmico, comparada con las máquinas que simula. (es)
|
| dbo:wikiPageExternalLink
| |
| dbo:wikiPageID
| |
| dbo:wikiPageLength
| |
| dbo:wikiPageRevisionID
| |
| prop-es:apellidos
| |
| prop-es:authorLink
|
- Martin Davis (es)
- Alan Turing (es)
- Claude Shannon (es)
- Roger Penrose (es)
- Marvin Minsky (es)
- Rolf Herken (es)
- Martin Davis (es)
- Alan Turing (es)
- Claude Shannon (es)
- Roger Penrose (es)
- Marvin Minsky (es)
- Rolf Herken (es)
|
| prop-es:año
| |
| prop-es:añoOriginal
| |
| prop-es:contribution
|
- Size and Structure of Universal Turing Machines using Tag Systems, Recursive Function Theory (es)
- Small Weakly Universal Turing Machines (es)
- What is Computation? (es)
- On Computable Numbers, With an Application to the Entscheidungsproblem (es)
- A Universal Turing Machine with Two Internal States (es)
- Size and Structure of Universal Turing Machines using Tag Systems, Recursive Function Theory (es)
- Small Weakly Universal Turing Machines (es)
- What is Computation? (es)
- On Computable Numbers, With an Application to the Entscheidungsproblem (es)
- A Universal Turing Machine with Two Internal States (es)
|
| prop-es:contributionUrl
| |
| prop-es:doi
|
- 101016 (xsd:integer)
- 101112 (xsd:integer)
|
| prop-es:edición
| |
| prop-es:edition
| |
| prop-es:editorFirst
|
- Jack (es)
- Lynn Arthur (es)
- Jack (es)
- Lynn Arthur (es)
|
| prop-es:editorLast
|
- Copeland (es)
- Steen (es)
- Copeland (es)
- Steen (es)
|
| prop-es:editorLink
|
- Jack Copeland (es)
- Lynn Arthur Steen (es)
- Jack Copeland (es)
- Lynn Arthur Steen (es)
|
| prop-es:editorial
|
- Springer (es)
- Addison-Wesley Publishing Company (es)
- Springer (es)
- Addison-Wesley Publishing Company (es)
|
| prop-es:enlaceautor
|
- Donald Knuth (es)
- Donald Knuth (es)
|
| prop-es:first
|
- Alan (es)
- Claude (es)
- Martin (es)
- Rolf (es)
- Marvin (es)
- A.M. (es)
- Roger (es)
- Damien (es)
- Turlough (es)
- Manfred (es)
- Yurii (es)
- Alan (es)
- Claude (es)
- Martin (es)
- Rolf (es)
- Marvin (es)
- A.M. (es)
- Roger (es)
- Damien (es)
- Turlough (es)
- Manfred (es)
- Yurii (es)
|
| prop-es:id
| |
| prop-es:isbn
|
- 0 (xsd:integer)
- 3 (xsd:integer)
- 978 (xsd:integer)
|
| prop-es:issue
|
- 1 (xsd:integer)
- 2 (xsd:integer)
- 6 (xsd:integer)
|
| prop-es:journal
|
- Theoretical Computer Science (es)
- LNCS (es)
- Proceedings of the London Mathematical Society (es)
- Fundamenta Informaticae (es)
- Proc. Symp. Pure Mathematics (es)
- Theoretical Computer Science (es)
- LNCS (es)
- Proceedings of the London Mathematical Society (es)
- Fundamenta Informaticae (es)
- Proc. Symp. Pure Mathematics (es)
|
| prop-es:last
|
- Shannon (es)
- Turing (es)
- Penrose (es)
- Davis (es)
- Woods (es)
- Minsky (es)
- Herken (es)
- Neary (es)
- Kudlek (es)
- Rogozhin (es)
- Shannon (es)
- Turing (es)
- Penrose (es)
- Davis (es)
- Woods (es)
- Minsky (es)
- Herken (es)
- Neary (es)
- Kudlek (es)
- Rogozhin (es)
|
| prop-es:nombre
|
- Donald E. (es)
- Donald E. (es)
|
| prop-es:pages
|
- 157 (xsd:integer)
- 215 (xsd:integer)
- 229 (xsd:integer)
- 262 (xsd:integer)
- 311 (xsd:integer)
- 544 (xsd:integer)
|
| prop-es:periodical
|
- Proceedings of the London Mathematical Society (es)
- Proceedings of the London Mathematical Society (es)
|
| prop-es:place
|
- Princeton, NJ (es)
- New York NY (es)
- Oxford UK (es)
- Providence RI (es)
- Princeton, NJ (es)
- New York NY (es)
- Oxford UK (es)
- Providence RI (es)
|
| prop-es:publicationDate
| |
| prop-es:publisher
| |
| prop-es:series
|
- 2 (xsd:integer)
- 17 (xsd:integer)
|
| prop-es:title
|
- dbpedia-es:La_nueva_mente_del_emperador
- On Computable Numbers, with an Application to the Entscheidungsproblem: A correction (es)
- Automata Studies (es)
- A universal Turing machine with 3 states and 9 symbols (es)
- Engines of Logic: Mathematicians and the origin of the Computer (es)
- The Universal Turing Machine – A Half-Century Survey (es)
- Four Small Universal Turing Machines (es)
- Mathematics Today: Twelve Informal Essays (es)
- Small Universal Turing Machines (es)
- The Art of Computer Programming Second Edition, Volume 1/Fundamental Algorithms (es)
- The Essential Turing: Seminal Writings in Computing, Logic, Philosophy, Artificial Intelligence, and Artificial Life plus The Secrets of Enigma (es)
|
| prop-es:url
| |
| prop-es:volume
|
- 5 (xsd:integer)
- 42 (xsd:integer)
- 43 (xsd:integer)
- 91 (xsd:integer)
- 168 (xsd:integer)
- 2295 (xsd:integer)
|
| prop-es:year
|
- 1936 (xsd:integer)
- 1938 (xsd:integer)
- 1956 (xsd:integer)
- 1962 (xsd:integer)
- 1980 (xsd:integer)
- 1989 (xsd:integer)
- 1995 (xsd:integer)
- 1996 (xsd:integer)
- 2000 (xsd:integer)
- 2002 (xsd:integer)
- 2004 (xsd:integer)
- 2009 (xsd:integer)
|
| dct:subject
| |
| rdfs:comment
|
- En ciencias de la computación, una máquina universal de Turing (UTM) es una máquina de Turing que puede simular una máquina de Turing arbitraria en la entrada arbitraria. La máquina universal esencialmente logra esto mediante la lectura de tanto la descripción de la máquina a ser simulada como también la entrada misma de su propia cinta. Alan Turing introdujo esta máquina en 1936-1937. Este modelo es considerado por algunos (por ejemplo, ) el origen del computador de programa almacenado — usado por John von Neumann (1946) para el "instrumento de computación electrónica" que ahora lleva el nombre de von Neumann: la arquitectura de von Neumann. Es también conocida como una máquina de computación universal, máquina universal. (es)
- En ciencias de la computación, una máquina universal de Turing (UTM) es una máquina de Turing que puede simular una máquina de Turing arbitraria en la entrada arbitraria. La máquina universal esencialmente logra esto mediante la lectura de tanto la descripción de la máquina a ser simulada como también la entrada misma de su propia cinta. Alan Turing introdujo esta máquina en 1936-1937. Este modelo es considerado por algunos (por ejemplo, ) el origen del computador de programa almacenado — usado por John von Neumann (1946) para el "instrumento de computación electrónica" que ahora lleva el nombre de von Neumann: la arquitectura de von Neumann. Es también conocida como una máquina de computación universal, máquina universal. (es)
|
| rdfs:label
|
- Máquina de Turing universal (es)
- Máquina de Turing universal (es)
|
| owl:sameAs
| |
| prov:wasDerivedFrom
| |
| foaf:isPrimaryTopicOf
| |
| is dbo:wikiPageRedirects
of | |
| is owl:sameAs
of | |
| is foaf:primaryTopic
of | |
