Introduction to the Theory of Computation
The text meets my objectives very well. The author presents the material in an appealing manner, making a hard subject accessible and intuitive to the students. He manages to do that while maintaining the rigor and formalism that the subject warrants. The book has a lot of information packed in it, and can serve as a reference book for students interested in research in theoretical CS."As one of my students puts it, the book is 'fun to read and helps him learn the subject better'."This is a model for readability, with sensitivity for what students find difficult."Excellent prose (simple and succinct) with very good diagrams. It is by far the best presentation of automata in the business.