Automata Theory and Symbolic Dynamics