En la teoría de la complejidad computacional , R es la clase de problemas de decisión que puede resolver una máquina de Turing , que es el conjunto de todos los lenguajes recursivos (también llamados lenguajes decidibles).
R es equivalente al conjunto de todas las funciones computables totales en el sentido de que:
Dado que podemos decidir cualquier problema para el cual existe un reconocedor y también un correconocedor simplemente intercalándolos hasta obtener un resultado, la clase es igual a RE ∩ co-RE .
Zoológico de la complejidad : Clase R