A relationship between the fractal geometry and the analysis of recursive (divide-andconquer) algorithms is investigated. It is shown that the dynamic structure of a recursive algorithm which might call other algorithms in a mutually recursive fashion can be geometrically captured as a fractal (self-similar) image. This fractal image is defined as the attractor of a mutually recursive function system. It then turns out that the HausdorffBesicovich dimension D of such an image is precisely the exponent in the time complexity of the algorithm being modelled. That is, if the Hausdorff £>-dimensional measure of the image is finite then it serves as the constant of proportionality and the time complexity is of the form &{n D ), else it implies that the time complexity is of the form ®{n D log 7 " n),