La resolución de algoritmos como modelos matemáticos