Symbolic dynamics Topological dynamics mathematics