R (complexity) (source code)

by Ciro Santilli (@cirosantilli, 37)
= R
{disambiguate=complexity}
{wiki}

Set of all <decision problems> solvable by a <Turing machine>, i.e. that decide if a string belongs to a <recursive language>.

Back to article page