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

The foundation of computer science is built upon the following questions: What is an algorithm? What can be computed and what cannot be computed? What does it m

Recent applications to biomolecular science and DNA computing have created a new audience for automata theory and formal languages. This is the only introductor

For upper level courses on Automata. Combining classic theory with unique applications, this crisp narrative is supported by abundant examples and clarifies key