TY - BOOK ID - 77944498 TI - Modern applications of automata theory AU - D'Souza, Deepak AU - Shankar, P PY - 2012 SN - 1283593564 9786613906014 9814271055 9789814271059 9781283593564 9814271047 9789814271042 6613906018 PB - Singapore Hackensack World Scientific DB - UniCat KW - Machine theory. KW - Computational complexity. KW - Complexity, Computational KW - Electronic data processing KW - Machine theory KW - Abstract automata KW - Abstract machines KW - Automata KW - Mathematical machine theory KW - Algorithms KW - Logic, Symbolic and mathematical KW - Recursive functions KW - Robotics UR - https://www.unicat.be/uniCat?func=search&query=sysid:77944498 AB - Automata theory has come into prominence in recent years with a plethora of applications in fields ranging from verification to XML processing and file compression. In fact, the 2007 Turing Award was awarded to Clarke, Emerson and Sifakis for their pioneering work on model-checking techniques. To the best of our knowledge, there is no single book that covers the vast range of applications of automata theory targeted at a mature student audience. This book is intended to fill that gap and can be used as an intermediate-level textbook. It begins with a detailed treatment of foundational material ER -