En teoría de la computación, el teorema de Rice es un teorema enunciado por Henry Gordon Rice y luego generalizado junto con John Myhill y Norman Shapiro a lo que se conoce como el teorema de RiceShapiro. Basicamente se puede enunciar el teorema de la siguiente manera: Dada una propiedad no trivial de las funciones parciales, no es computable determinar si una función arbitraria la posee o no. Es un típico problema de decisión que no se puede resolver, al igual que el problema de la parada.
Author1-Link |
|
Author2-Link |
|
rdfs:comment |
|
First |
|
foaf:isPrimaryTopicOf | |
rdfs:label |
|
Last |
|
Location |
|
Pages |
|
Is foaf:primaryTopic of | |
Publisher | |
dcterms:subject | |
Title |
|
prov:wasDerivedFrom | |
dbpedia-owl:wikiPageExternalLink | |
dbpedia-owl:wikiPageID |
|
dbpedia-owl:wikiPageLength |
|
dbpedia-owl:wikiPageOutDegree |
|
dbpedia-owl:wikiPageRevisionID |
|
prop-latam:wikiPageUsesTemplate | |
dbpedia-owl:wikiPageWikiLink | [27 values] |
Is dbpedia-owl:wikiPageWikiLink of | |
Year |
|