Turing dynamical system, an abstract version of a Turing machine, is defined and investigated using groupoids. The main presented application is to the Atiyah problem in group theory. ...