Ein Problem, das (in Form der Berechnung einer Funktion) auf einer Turing-Maschine gelöst werden kann, bezeichnet man als Turing-Berechenbar.