Models of Computation and Formal Languages
"A comprehensive, advanced introductory textbook on the theory of computation that can be used on an undergraduate level as well as graduate. The solutions manual and software are welcome additions."--Philip Demp, Rutgers UniversityAdvance praise: "Taylor's work joins a small group of comprehensive yet rigorous, sweeping yet approachable, computer science textbooks. That by itself is a feast, but the dessert is Savoiu's intuitive software that supports almost every chapter by providing working examples, a homework bench, and a model-programming environment." --Benjamin Wells, University of San Francisco