We continue the study of non-invertible topological dynamical systems with
expanding behavior. We introduce the class of {\em finite type} systems which
are characterized by the condition that, up to rescaling and uniformly bounded
distortion, there are only finitely many iterates. We show that subhyperbolic
rational maps and finite subdivision rules (in the sense of Cannon, Floyd,
Kenyon, and Parry) with bounded valence and mesh going to zero are of finite
type. In addition, we show that the limit dynamical system associated to a
selfsimilar, contracting, recurrent, level-transitive group action (in the
sense of V. Nekrashevych) is of finite type. The proof makes essential use of
an analog of the finiteness of cone types property enjoyed by hyperbolic
groups.Comment: Updated versio