This HTML5 document contains 36 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/
wikipedia-eshttp://es.wikipedia.org/wiki/
dbohttp://dbpedia.org/ontology/
n15http://es.wikipedia.org/wiki/Problema_de_la_parada?oldid=126808878&ns=
foafhttp://xmlns.com/foaf/0.1/
dbpedia-eshttp://es.dbpedia.org/resource/
prop-eshttp://es.dbpedia.org/property/
n13http://www-math.mit.edu/~sipser/
rdfshttp://www.w3.org/2000/01/rdf-schema#
n12http://rdf.freebase.com/ns/m.
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
owlhttp://www.w3.org/2002/07/owl#
n16http://krypton.mnsu.edu/~kelled/
n10https://archive.org/details/
provhttp://www.w3.org/ns/prov#
xsdhhttp://www.w3.org/2001/XMLSchema#
dbrhttp://dbpedia.org/resource/
Subject Item
wikipedia-es:Problema_de_la_parada
foaf:primaryTopic
dbpedia-es:Problema_de_la_parada
Subject Item
dbpedia-es:Problema_de_la_detencion
dbo:wikiPageRedirects
dbpedia-es:Problema_de_la_parada
Subject Item
dbpedia-es:Problema_de_la_detención
dbo:wikiPageRedirects
dbpedia-es:Problema_de_la_parada
Subject Item
dbpedia-es:Problema_de_parada
dbo:wikiPageRedirects
dbpedia-es:Problema_de_la_parada
Subject Item
dbpedia-es:Problema_de_la_parada
rdfs:label
Problema de la parada
rdfs:comment
El problema de la parada o problema de la detención para máquinas de Turing consiste en lo siguiente: dada una Máquina de Turing y una palabra , determinar si terminará en un número finito de pasos cuando es ejecutada usando como dato de entrada.Alan Turing, en su famoso artículo "On Computable Numbers, with an Application to the Entscheidungsproblem" (1936), demostró que el problema de la parada de la Máquina de Turing es indecidible (no computable o no recursivo), en el sentido de que ninguna máquina de Turing lo puede resolver.
owl:sameAs
n12:03k9j
dct:subject
category-es:Problemas_matemáticos category-es:Problemas_computacionales category-es:Máquinas_de_Turing
foaf:isPrimaryTopicOf
wikipedia-es:Problema_de_la_parada
prop-es:autor
George S. Boolos, John P. Burgess & Richard C. Jeffrey n16: n13:
prop-es:año
2007 2005 1995
prop-es:edición
2
prop-es:editorial
Prentice Hall dbpedia-es:Cambridge_University_Press Course Technology
prop-es:isbn
0 978
prop-es:título
Computability and Logic Introduction to the Theory of Computation Teoría de Autómatas y Lenguajes Formales
prop-es:url
n10:computabilitylog0000bool
dbo:wikiPageID
105504
dbo:wikiPageRevisionID
126808878
dbo:wikiPageExternalLink
n10:computabilitylog0000bool n13: n16:
dbo:wikiPageLength
8974
prov:wasDerivedFrom
n15:0
dbo:abstract
El problema de la parada o problema de la detención para máquinas de Turing consiste en lo siguiente: dada una Máquina de Turing y una palabra , determinar si terminará en un número finito de pasos cuando es ejecutada usando como dato de entrada.Alan Turing, en su famoso artículo "On Computable Numbers, with an Application to the Entscheidungsproblem" (1936), demostró que el problema de la parada de la Máquina de Turing es indecidible (no computable o no recursivo), en el sentido de que ninguna máquina de Turing lo puede resolver.
Subject Item
dbr:Halting_problem
owl:sameAs
dbpedia-es:Problema_de_la_parada