Introduction to the theory of computation - Sipser, Michael (New Dehli Cengage Learning, 2013)
Includes bibliography and index.
Keywords: Computer science -- Machine theory -- Mathematical notions -- Computational complexity -- Finite automata -- Hilbert's problems -- Diagonalization methods -- Complexity theory -- Reducibility -- Decidability -- FC