Dynamical systems defined by cellular automata Topological dynamics mathematics