Ergodic theory, symbolic dynamics and coding Dynamical systems on manifolds mathematics