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
  • John Hopcroft (es)
Author2-Link
  • Jeffrey Ullman (es)
rdfs:comment
  • 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. (es)
First
  • Hartley (es)
  • Jeffrey (es)
  • John (es)
foaf:isPrimaryTopicOf
rdfs:label
  • Teorema de Rice (es)
Last
  • Hopcroft (es)
  • Rogers (es)
  • Ullman (es)
Location
  • New York (es)
Pages
  • 185 (xsd:integer)
Is foaf:primaryTopic of
Publisher
dcterms:subject
Title
  • Introduction to automata theory, languages, and computation (es)
  • Theory of recursive functions and effective computability (es)
prov:wasDerivedFrom
dbpedia-owl:wikiPageExternalLink
dbpedia-owl:wikiPageID
  • 5561609 (xsd:integer)
dbpedia-owl:wikiPageLength
  • 8818 (xsd:integer)
dbpedia-owl:wikiPageOutDegree
  • 28 (xsd:integer)
dbpedia-owl:wikiPageRevisionID
  • 75014467 (xsd:integer)
prop-latam:wikiPageUsesTemplate
dbpedia-owl:wikiPageWikiLink [27 values]
Is dbpedia-owl:wikiPageWikiLink of
Year
  • 1967 (xsd:integer)
  • 1979 (xsd:integer)