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

Ancestors