This HTML5 document contains 131 embedded RDF statements represented using HTML+Microdata notation.

The embedded RDF content will be recognized by any processor of HTML5 Microdata.

PrefixNamespace IRI
category-eshttp://es.dbpedia.org/resource/Categoría:
dcthttp://purl.org/dc/terms/
n8http://www.cs.princeton.edu/theory/complexity/
wikipedia-eshttp://es.wikipedia.org/wiki/
dbohttp://dbpedia.org/ontology/
foafhttp://xmlns.com/foaf/0.1/
dbpedia-eshttp://es.dbpedia.org/resource/
prop-eshttp://es.dbpedia.org/property/
rdfshttp://www.w3.org/2000/01/rdf-schema#
n12http://www.abelard.org/turpap2/tp2-ie.
n15http://es.dbpedia.org/resource/Springer_Science+
n17http://es.wikipedia.org/wiki/Máquina_de_Turing_universal?oldid=124187389&ns=
n11http://rdf.freebase.com/ns/m.
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
owlhttp://www.w3.org/2002/07/owl#
n9https://archive.org/details/
provhttp://www.w3.org/ns/prov#
xsdhhttp://www.w3.org/2001/XMLSchema#
dbrhttp://dbpedia.org/resource/
Subject Item
dbpedia-es:Máquina_de_Turing_universal
rdfs:label
Máquina de Turing universal
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.
owl:sameAs
n11:0jdlh
dct:subject
category-es:Gramática_generativa category-es:Máquinas_de_Turing
foaf:isPrimaryTopicOf
wikipedia-es:Máquina_de_Turing_universal
prop-es:apellidos
Knuth
prop-es:authorLink
Martin Davis Rolf Herken Marvin Minsky Roger Penrose Claude Shannon Alan Turing
prop-es:año
1973
prop-es:añoOriginal
1968
prop-es:contribution
Small Weakly Universal Turing Machines Size and Structure of Universal Turing Machines using Tag Systems, Recursive Function Theory What is Computation? On Computable Numbers, With an Application to the Entscheidungsproblem A Universal Turing Machine with Two Internal States
prop-es:contributionUrl
n12:asp
prop-es:doi
101016 101112
prop-es:edición
2
prop-es:edition
1.0
prop-es:editorFirst
Lynn Arthur Jack
prop-es:editorLast
Copeland Steen
prop-es:editorLink
Jack Copeland Lynn Arthur Steen
prop-es:editorial
Springer Addison-Wesley Publishing Company
prop-es:enlaceautor
Donald Knuth
prop-es:first
Damien Turlough Manfred Claude Rolf Yurii Alan Marvin Roger Martin A.M.
prop-es:id
,
prop-es:isbn
978 0 3
prop-es:issue
6 1 2
prop-es:journal
Fundamenta Informaticae LNCS Proc. Symp. Pure Mathematics Proceedings of the London Mathematical Society Theoretical Computer Science
prop-es:last
Kudlek Herken Neary Minsky Shannon Davis Rogozhin Woods Turing Penrose
prop-es:nombre
Donald E.
prop-es:pages
229 262 311 544 157 215
prop-es:periodical
Proceedings of the London Mathematical Society
prop-es:place
Oxford UK Providence RI New York NY Princeton, NJ
prop-es:publicationDate
1937
prop-es:publisher
dbpedia-es:Princeton_University_Press W. W. Norton & Company dbpedia-es:Oxford_University_Press Vintage Books American Mathematical Society n15:Business_Media Springer LNCS 5699
prop-es:series
2 17
prop-es:title
The Universal Turing Machine – A Half-Century Survey The Essential Turing: Seminal Writings in Computing, Logic, Philosophy, Artificial Intelligence, and Artificial Life plus The Secrets of Enigma Four Small Universal Turing Machines Small Universal Turing Machines Engines of Logic: Mathematicians and the origin of the Computer The Art of Computer Programming Second Edition, Volume 1/Fundamental Algorithms A universal Turing machine with 3 states and 9 symbols Automata Studies dbpedia-es:La_nueva_mente_del_emperador Mathematics Today: Twelve Informal Essays On Computable Numbers, with an Application to the Entscheidungsproblem: A correction
prop-es:url
n9:mathematicstoday00stee
prop-es:volume
5 168 42 43 91 2295
prop-es:year
1936 2002 2000 2004 2009 1989 1995 1996 1980 1956 1962 1938
dbo:wikiPageID
1638283
dbo:wikiPageRevisionID
124187389
dbo:wikiPageExternalLink
n8: n12:asp n9:mathematicstoday00stee
dbo:wikiPageLength
18928
prov:wasDerivedFrom
n17:0
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.
Subject Item
dbpedia-es:Máquina_universal_de_Turing
dbo:wikiPageRedirects
dbpedia-es:Máquina_de_Turing_universal
Subject Item
wikipedia-es:Máquina_de_Turing_universal
foaf:primaryTopic
dbpedia-es:Máquina_de_Turing_universal
Subject Item
dbr:Universal_Turing_machine
owl:sameAs
dbpedia-es:Máquina_de_Turing_universal