Is there a good book on computability and automata? So far, all the automata texts that I'm aware of are written in a special holy language of abstract computerize. The language erects an unnecessary barrier to understanding the basic ideas. Is Turing's original paper a proof, or an explanation of what he'd understood? I don't know, but I can refer the reader to "Descartes' Dream" by Reuben and Hersch for perespective.