El algoritmo es una combinación entre búsquedas del tipo primero en anchura con primero en profundidad: mientras que formula_2 tiende a primero en profundidad, formula_3 tiende a primero en anchura.