Automata Theory, Languages, and Computation , Hopcroft ... Understanding a hierarchy of classes of automata (finite automata, pushdown automata, and Turing machines) ...

Enumerability, diagonalization, finite state automata, Turing Machines, universal machines ... (optional reference)Michael Sipser. Introduction to the Theory of Computation. Brooks/Cole Pub Co; ISBN: ...