Beautifully-written and gives a thorough and precise treatment of formal languages, finite automata, and models of computation. The first textbook that I have finished cover to cover. As readable as a novel. It is fascinating to read and perfectly-paced for a student, yet writes with utmost clarity, concision, and rigor. There is not a sentence that I have any confusion or doubts about. Anyone who calls themselves a computer scientist must read this book.