1: \begin{abstract}

2: 		

3: 		Using tools from computable analysis we develop a notion of effectiveness for general dynamical systems as those group actions on arbitrary spaces that contain a computable representative in their topological conjugacy class. Most natural systems one can think of are effective in this sense, including some group rotations, affine actions on the torus and finitely presented algebraic actions. We show that for finitely generated and recursively presented groups, every effective dynamical system is the topological factor of a computable action on an effectively closed subset of the Cantor space. We then apply this result to extend the simulation results available in the literature beyond zero-dimensional spaces. In particular, we show that for a large class of groups, many of these natural actions are topological factors of subshifts of finite type.   

4: 		\medskip

5: 		

6: 		\noindent

7: 		\emph{Keywords: computable analysis, symbolic dynamics, simulation, topological factors of SFTs.}

8: 		

9: 		\noindent

10: 		\emph{MSC2020: 

11: 			37B10, % Dynamical systems and ergodic theory ->  Topological dynamics -> Symbolic dynamics

12: 			37B02, % Dynamics in general topological spaces

13: 			03D78, % Computation over the reals, computable analysis

14: 			20F10. % Word problems, other decision problems, connections with logic and automata (group-theoretic aspects) 

15: 		}	

16: 	\end{abstract}

17: