Book Details

Computation Engineering

Publication year: 2006

ISBN: 978-0-387-32520-0

Internet Resource: Please Login to download 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.


Subject: Computer Science, Automat, Hardware, Turing, algorithms, automata, automata theory, complexity, complexity theory, computer, computer science, formal method, logic, model checking, regular expressions