Transformaciones algebraicas en el diseño de algoritmos