El [[paradigma]] d'esti conxuntu de funciones representar la función qu'establez "si dada una Máquina de Turing, ésta produz unaun resultanciaresultáu o, otra manera, quédase calculando indefinidamente".