Maruoka A. Concise Guide to Computation Theory

Springer, 2011. — 300 p. — ISBN: 978-0-85729-534-7.Presents a detailed introduction to the theory of computation, complete with concise explanations of the mathematical prerequisites.
Provides end-of-chapter problems with solutions, in addition to chapter-opening summaries and numerous examples and definitions throughout the text. Draws upon the author’s extensive teaching experience and broad research interestsEverything Begins with Computation
Preliminaries to the Theory of Computation
Finite Automata
Context-Free Languages
Pushdown Automata