Substitutions and Symbolic Dynamics