Resultado de la búsqueda: algoritmos formales e informales