Provides an introduction to the theory of computation that emphasizes formal languages, automata and abstract models of computation, and computability. This boo

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

Introduction to Languages and the Theory of Computation helps students make the connection between the practice of computing and an understanding of the profoun

A Concise Introduction to Languages, Machines and Logic provides an accessible introduction to three key topics within computer science: formal languages, abstr