En complejidad computacional, R es la clase conformada por los problemas de decisión resolubles por una máquina de Turing, vale decir, el conjunto de todos los lenguajes recursivos. R es usualmente identificado con la clase de funciones efectivamente computables, según la Tesis de Church-Turing. Esta clase es equivalente a RE ∩ coRE.

rdfs:comment
  • En complejidad computacional, R es la clase conformada por los problemas de decisión resolubles por una máquina de Turing, vale decir, el conjunto de todos los lenguajes recursivos. R es usualmente identificado con la clase de funciones efectivamente computables, según la Tesis de Church-Turing. Esta clase es equivalente a RE ∩ coRE. (es)
foaf:isPrimaryTopicOf
rdfs:label
  • R (clase de complejidad) (es)
Is foaf:primaryTopic of
dcterms:subject
prov:wasDerivedFrom
Is dbpedia-owl:wikiPageDisambiguates of
dbpedia-owl:wikiPageExternalLink
dbpedia-owl:wikiPageID
  • 3904173 (xsd:integer)
dbpedia-owl:wikiPageLength
  • 627 (xsd:integer)
dbpedia-owl:wikiPageOutDegree
  • 10 (xsd:integer)
dbpedia-owl:wikiPageRevisionID
  • 64581893 (xsd:integer)
dbpedia-owl:wikiPageWikiLink
Is dbpedia-owl:wikiPageWikiLink of