Formal languages, automata, computability, and related matters form the major part of the theory of computation. This textbook is designed for an introductory course for ...