John E. Hopcroft, Rajeev Motwani, Jeffrey D. Ullman, «Introduction to Automata Theory, Languages, and Computation» (2nd edition) Addison Wesley | ISBN 0201441241 | 2000 Year | DjVu | 9,23 Mb | 521 Pages
Theory of Automata Formal Languages and Computation 360 pages | New Age International (P) Ltd. (2006) | ISBN-10: 8122415083 | PDF | 2 Mb
This book is aimed at providing an introduction to the basic models of computability to the undergraduate students. The book is devoted to finite automata and their properties. Pushdown automata provides a class of models and enables the analysis of context-free languages. Turing machines have been introduced and the book discusses computability and decidability. A number of problems with solutions have been provided for each chapter. A lot of exercises have been given with hints/answers to most of these tutorial problems.