TY  - BOOK
AU  - Khoussainov, Bakhadyr
AU  - Nerode, Anil
TI  - Automata theory and its applications
SN  - 9788184896619
U1  - 006.31 
PY  - 2001///
CY  - New Delhi
PB  - Springer
KW  - Artificial intelligence
KW  - Machine learning
KW  - Self-organizing systems
N2  - Automata Theory and its Applications is a uniform treatment of the theory of finite state machines on finite and infinite strings and trees. Many books deal with automata on finite strings, but there are very few expositions that prove the fundamental results of automata on infinite strings and trees. These results have important applications to modeling parallel computation and concurrency, the specification and verification of sequential and concurrent programs, databases, operating systems, computational complexity, and decision methods in logic and algebra. Thus, this textbook fills an important gap in the literature by exposing early fundamental results in automata theory and its applications. (http://www.springer.com/birkhauser/computer+science/book/978-0-8176-4207-5?changeHeader)
ER  -