isomorphism of dynamical systems