Is it possible to define a Turing Machine in terms of an algebraic structure? If so, could you point out some relevant references?