Is there a concept of Turing Machine in excess of a group, not merely over the integers as a model of your tape? The ebook is very well supported and perfectly regarded. I want to add a caveat to the above mentioned answer, since the Wikipedia page doesn't emphasize this stage. Has t