Symbolic Dynamics and Its Applications