Introduction to the theory of computation - Sipser, Michael (Andover Cengage Learning, 2006)
Keywords: Machine theory -- Computational complexity -- Mathematical notions -- Finite automata -- Nondeterministic turning machines -- Hilbert's problems -- Diagonalization methods -- Complexity theory -- FC