"[W]hile dynamical systems often cannot be effectively computed on a finite state machine (such as a von Neumann computer), they can often be efficiently approximated."