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 |
|
rdfs:comment |
|
Is Conocido Por of | |
Edición |
|
Editorial |
|
foaf:isPrimaryTopicOf | |
Isbn |
|
Is dbpedia-owl:knownFor of | |
rdfs:label |
|
Is foaf:primaryTopic of | |
dcterms:subject | |
Título |
|
prov:wasDerivedFrom | |
dbpedia-owl:wikiPageExternalLink | |
dbpedia-owl:wikiPageID |
|
dbpedia-owl:wikiPageLength |
|
dbpedia-owl:wikiPageOutDegree |
|
Is dbpedia-owl:wikiPageRedirects of | |
dbpedia-owl:wikiPageRevisionID |
|
prop-latam:wikiPageUsesTemplate | |
dbpedia-owl:wikiPageWikiLink | [18 values] |
Is dbpedia-owl:wikiPageWikiLink of | [20 values] |