None of the content seems to cover Turing Machines and The Halting Problem, and all the rest of the Automata and Language Hierarchy stuff in, say, Ullman's "Introduction to Automata Theory, Languages, and Computation"? Computer Science, indeed!