Wikidata facts
- Instance of
- complexity class
- Subclass of
- computational problem
- Part of
- RE
- Has part
- NEXPTIME
Show 1 more fact
- different from
- R
Sources (1)
via Wikidata · CC0
Article · Español
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.
Abstract from DBpedia / Wikipedia · CC BY-SA