Introducing the theory of computation - Goddard, Wayne (New Delhi Jones & Bartlett Learning, 2017)
Includes references, glossary and index.
Keywords: Machine theory -- Mathematics -- Complexity theory -- Turing machines -- Finite automata -- Nondeterminism -- Diagonalization -- Undecidability -- RICAS