Public Health Agency and R (complexity): Difference between pages

Revision as of 16:13, 27 September 2005

Revision as of 01:34, 9 November 2005

Line 1:

The class of decision problems solvable by a Turing machine. Often identified with the class of 'effectively computable' functions (the Church-Turing thesis).

#REDIRECT [[Public Health Agency of Canada]]

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

==External links==

* [http://qwiki.caltech.edu/wiki/Complexity_Zoo#re Complexity Zoo]

[[Category:Complexity classes]]

{{ComplexityClasses}}