On the algorithmic descriptive complexity of attractors in topological dynamics

Cristobal Rojas, Mathieu Sablik

We study the computational problem of rigorously describing the asymptotic behaviour of topological dynamical systems up to a finite but arbitrarily small pre-specified error. More…