symbolic dynamics