La definición del algoritmo es la siguiente: