Computation Engineering : Applied Automata Theory and Logic
- Author
- Ganesh Gopalakrishnan
- Publication Year
- 2006
- Publisher
- Springer
- Language
- English
- Document Type
- Book
- Faculty / Subject Heading
- Computer Science
- Download Book Read book
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.
Keywords: Computer science / Automat / Hardware / Turing / Algorithms / Automata / Automata theory / Complexity / Complexity theory / Computer / Computer science / Formal method / Logic / Model checking / Regular expressions
