El paradigma de este conjunto de funciones lo representa la función que establece "si dada una Máquina de Turing, ésta produce un resultado o, por el contrario, se queda calculando indefinidamente".