Introduction to Languages and the Theory of Computationis an introduction to the theory of computation that emphasizes formal languages, automata and abstract models of ...