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