Symbolic dynamics