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.

Autor
Año
  • 1995 (xsd:integer)
  • 2005 (xsd:integer)
  • 2007 (xsd:integer)
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. (es)
Is Conocido Por of
Edición
  • 2 (xsd:integer)
Editorial
  • Cambridge University Press (es)
  • Course Technology (es)
  • Prentice Hall (es)
foaf:isPrimaryTopicOf
Isbn
  • 0 (xsd:integer)
  • 978 (xsd:integer)
Is dbpedia-owl:knownFor of
rdfs:label
  • Problema de la parada (es)
Is foaf:primaryTopic of
dcterms:subject
Título
  • Computability and Logic (es)
  • Introduction to the Theory of Computation (es)
  • Teoría de Autómatas y Lenguajes Formales (es)
prov:wasDerivedFrom
dbpedia-owl:wikiPageExternalLink
dbpedia-owl:wikiPageID
  • 105504 (xsd:integer)
dbpedia-owl:wikiPageLength
  • 8870 (xsd:integer)
dbpedia-owl:wikiPageOutDegree
  • 19 (xsd:integer)
Is dbpedia-owl:wikiPageRedirects of
dbpedia-owl:wikiPageRevisionID
  • 75788431 (xsd:integer)
prop-latam:wikiPageUsesTemplate
dbpedia-owl:wikiPageWikiLink [18 values]
Is dbpedia-owl:wikiPageWikiLink of [20 values]