Publication year: 2006
: 978-0-387-32520-0
This book covers automata in depth, providing good intuitions along the way, and culminating with applications that are used every day in the field. In this respect, it is a departure from the conventional textbooks on complexity and computability, although these 'tradtional' aspects remain well represented.
: Computer Science, Automat, Hardware, Turing, algorithms, automata, automata theory, complexity, complexity theory, computer, computer science, formal method, logic, model checking, regular expressions