Que describe un conjunto para el cual existe un algoritmo que determina si un elemento está o no está dentro del conjunto de una cantidad finita de tiempo.