ABSTRACT

The origins of this book lie in the work of Cannon [Can84), who showed the existence of a recursive structure on the set of geodesics of a discrete group of isometries of hyperbolic space. In this chapter we investigate how an automatic structure can be derived from such properties of the geodesics, and we show that large classes of geometrically motivated groups have automatic structures.