Finitely presented dynamical systems

We extend results of Bowen and Manning on systems with good symbolic dynamics. In particular we identify the class of dynamical systems that admit Markov partitions. For these systems the Manning-Bowen method of counting periodic points is explained in terms of topological coincidence numbers. We show, in particular, that an expansive system with a finite cover by rectangles has a rational zeta function.