R by Ciro Santilli 34 Updated Created
Set of all decision problems solvable by a Turing machine, i.e. that decide if a string belongs to a recursive language.