R (complexity)

From Wikipedia, the free encyclopedia

In computational complexity theory, R is the class of decision problems solvable by a Turing machine, which is the set of all recursive languages. R is often identified with the class of 'effectively computable' functions (the Church-Turing thesis).

Since we can decide any problem for which there exists a recogniser and also a co-recogniser, the class is equal to RE \cap coRE.

[edit] External links


In other languages