Topics in Symbolic Dynamics and Applications