TY - BOOK ID - 80827306 TI - Automata theory with modern applications AU - Anderson, James A AU - Head, Thomas J PY - 2006 SN - 9780511607202 9780521848879 9780521613248 9780511648564 0511648561 0511224354 9780511224355 0511225024 9780511225024 0511607202 0521848873 0521613248 1107164761 0511567944 PB - Cambridge New York Cambridge University Press DB - UniCat KW - Machine theory. KW - Formal languages. KW - Formalization (Linguistics) KW - Language and languages 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:80827306 AB - Recent applications to biomolecular science and DNA computing have created a new audience for automata theory and formal languages. This is the only introductory book to cover such applications. It begins with a clear and readily understood exposition of the fundamentals that assumes only a background in discrete mathematics. The first five chapters give a gentle but rigorous coverage of basic ideas as well as topics not found in other texts at this level, including codes, retracts and semiretracts. Chapter 6 introduces combinatorics on words and uses it to describe a visually inspired approach to languages. The final chapter explains recently-developed language theory coming from developments in bioscience and DNA computing. With over 350 exercises (for which solutions are available), many examples and illustrations, this text will make an ideal contemporary introduction for students; others, new to the field, will welcome it for self-learning. ER -