| Property |
Value |
| dbo:abstract
|
- En teoría de la computación, el teorema de Rice es un teorema enunciado por y luego generalizado junto con y a lo que se conoce como el . Básicamente 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)
- En teoría de la computación, el teorema de Rice es un teorema enunciado por y luego generalizado junto con y a lo que se conoce como el . Básicamente 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)
|
| dbo:wikiPageExternalLink
| |
| dbo:wikiPageID
| |
| dbo:wikiPageLength
| |
| dbo:wikiPageRevisionID
| |
| prop-es:author1Link
|
- John Hopcroft (es)
- John Hopcroft (es)
|
| prop-es:author2Link
|
- Jeffrey Ullman (es)
- Jeffrey Ullman (es)
|
| prop-es:first
|
- John (es)
- Jeffrey (es)
- Hartley (es)
- John (es)
- Jeffrey (es)
- Hartley (es)
|
| prop-es:last
|
- Ullman (es)
- Rogers (es)
- Hopcroft (es)
- Ullman (es)
- Rogers (es)
- Hopcroft (es)
|
| prop-es:location
|
- New York (es)
- New York (es)
|
| prop-es:pages
| |
| prop-es:publisher
| |
| prop-es:title
|
- Theory of recursive functions and effective computability (es)
- Introduction to automata theory, languages, and computation (es)
- Theory of recursive functions and effective computability (es)
- Introduction to automata theory, languages, and computation (es)
|
| prop-es:year
|
- 1967 (xsd:integer)
- 1979 (xsd:integer)
|
| dct:subject
| |
| rdfs:comment
|
- En teoría de la computación, el teorema de Rice es un teorema enunciado por y luego generalizado junto con y a lo que se conoce como el . Básicamente 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)
- En teoría de la computación, el teorema de Rice es un teorema enunciado por y luego generalizado junto con y a lo que se conoce como el . Básicamente 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)
|
| rdfs:label
|
- Teorema de Rice (es)
- Teorema de Rice (es)
|
| owl:sameAs
| |
| prov:wasDerivedFrom
| |
| foaf:isPrimaryTopicOf
| |
| is owl:sameAs
of | |
| is foaf:primaryTopic
of | |
