This volume results from two programs that took place at the Institute for Mathematical Sciences at the National University of Singapore: Aspects of Computation
For upper level courses on Automata. Combining classic theory with unique applications, this crisp narrative is supported by abundant examples and clarifies key
Recent applications to biomolecular science and DNA computing have created a new audience for automata theory and formal languages. This is the only introductor
Automata theory lies at the foundation of computer science, and is vital to a theoretical understanding of how computers work and what constitutes formal method
This Third Edition, in response to the enthusiastic reception given by academia and students to the previous edition, offers a cohesive presentation of all aspe