Topology of Asymptotic Cones and S-machine

Anthony Gasperin

Sapir, Birget and Rips showed how to construct groups from Turing machines. To achieve such a construction they introduced the notion of S-machine. Then considering a simplified S-…