Elements of computation theory - Singh, Arindama (New York Springer, 2009)
Keywords: Computer science -- Machine theory -- Finite Automata -- Mathematical preliminaries -- Computably enumerable languages -- Algorithmic solvability -- Computational complexity -- FC