Topological and Ergodic Theory of Symbolic Dynamics