Turing machines are to this day a central object of study in theory of computation