Languages and Machines: An Introduction to the Theory of Computer Science (3rd Edition) by Thomas A. Sudkamp
The book is readable, with a lot of good examples to help readers understand the concepts covered in each chapter.
A good introductory book on web search