Suppose you have a Turing machine, but with a countably infinite alphabet.
How does such a Turing machine differ from an ordinary Turing machine, either in terms of computability or of complexity classes?
Do complexity classes for ordinary Turing machines hold up in such a model?
Edit: quick addendum - it seems obvious that the existence of a countably infinite alphabet leads to uncountably many state transition functions. I'm curious for the answer to both my original question, and to the restriction in which the only transitions allowed are recursive.