In this paper (accepted to LICS 14) we characterize those alphabets for which Turing machines with atoms determinize.
Continue reading →