自动机理论及现代应用:形式语言与自动机理论答案

　　James A. Anderson, University of South Carolina Upstate,U.S.A 　　Automata Theory With
　　Modern Applications
　　2006, 260pp.
　　Softcover USD45.00
　　ISBN978-0-521-61324-8
　　
　　J.A.安得逊 著
　　本书是自动机理论的引论。本书以研究生为主要对象，并兼顾数学、计算机科学及生物学等领域的科研人员的需要。
　　除经典内容外，本书还包括其它同类书中不易找到的一些论题，如码、收缩核及半收缩核等理论材料，特别还给出理论的现代应用，即在生物分子科学及DNA计算中的应用，在目前同主题专著中只有本书涉及这些应用领域。
　　全书由7章及两个关于集合论的附录组成。前5章给出基本理论，其中第1章是引论，给出集合和半群的基本结果。其余4章分别论述正规语言、Kleene定理、极小自动机、语法幺半群、Turing机、可判定性等，并论述无前后关系文法与下推自动机间的关系。第6章是关于形成语言的直观方法的导引；第7章从生物聚合体到形式语言理论，给出理论的现代应用。全书共收习题350多个，其解答可在有关网站找到。
　　本书论述简明清晰，例题较多，便于自学，只要求读者具有离散数学基础知识作预备，读者面较广，可作为研究生教材，也可供有关科研人员阅读。
　　朱尧辰，研究员
　　(中国科学院应用数学研究所)
　　Zhu Yaochen, Professor
　　(Institute of Applied Mathematics,the Chinese Academy of Sciences)