The uniform halting problem for generalized one state Turing machines (1968)

by Gabor Hermann
Venue:In Proceedings, Ninth Annual Symposium on Switching and Automata Theory (FOCS