R (complexity)
In computational complexity theory, R is the class of decision problems solvable by a Turing machine, which is the set of all recursive languages.
Equivalent formulations
R is equal to the set of all total computable functions.
Relationship with other classes
Since we can decide any problem for which there exists a recogniser and also a corecogniser by simply interleaving them until one obtains a result, the class is equal to RE ∩ coRE.
References
 Blum, Lenore, Mike Shub, and Steve Smale. "On a theory of computation and complexity over the real numbers: NPcompleteness, recursive functions and universal machines." Bulletin (New Series) of the American Mathematical Society 21.1 (1989): 146.
External links

This article is issued from Wikipedia  version of the 12/19/2015. The text is available under the Creative Commons Attribution/Share Alike but additional terms may apply for the media files.