原书第3版 计算机 科工 学 丛 书 高教育 自动机理论， Wesley 语言和计算导论 John E.Hopcroft Rajeev Motwani Jeffrey D.Ullman 著孙家骗等译 （美） 康奈尔大学 斯坦福大学 斯坦福大学 NTRODUCTI AutomataTheory, Languages,and Computation 3rd Edition JOHNE.HOPCROFT RAJEEV MOTWANI JEFFREY D.ULLMAN Introduction to Automata Theory Languages,and Computation Third Edition 机械工业出版社 ChinaMachinePress 自动机理论、语言和计算导论（原书第3版） 本书是关于形式语言、自动机理论和计算复杂性方面的经典教材，是三位理论计算大师的巅峰之 作，现已更新到第3版。书中涵盖了有穷自动机、正则表达式与语言、正则语言的性质、上下文无关文 法及上下文无关语言、下推自动机、上下文无关语言的性质、图灵机、不可判定性以及难解问题等内容。 本书已被世界许多著名大学采用为计算机理论课程的教材或教学参考书，适合作为国内高校计算 机专业高年级本科生或研究生的教材，还可供从事理论计算工作的研究人员参考。 本书特点 ·以简洁和易理解的方式讲述理论概念 ·强调理论的现代应用。 ·使用大量的图来帮助表达概念。 ·提供定义和证明的更多细节 ·每章提供大量难易程度不同的练习 John E. Hopcroft 于斯坦福大学获得博士学位，现为康奈尔大 学计算机科学系教授。1994年到2001年， 任康奈尔大学工程学院院长。 他是1986年图灵奖获得者。他的研究兴趣集中在计算理论 方面，尤其是算法分析、自动机理论等 RajeevMotwani 于加州大学伯克利分校获得博士学位，现为斯 坦福大学计算机科学系教授。他的研究兴趣包 括数据库、数据挖掘、Web搜索和信息检索、机器人等。 Jeffrey D. Ullman 斯坦福大学计算机科学系StanfordW Ascherman教授，数据库技术专家，美国 国家工程院院士。他的研究兴趣包括数据库理论、数据库集成、数据挖掘、理论计算等。 自动机理论、语言和计算导论（英文版·第3版） ISBN 978-7-111-22392-4 定价：59.00元 www.PearsonEd.com 上架指导：计算机计算理 投稿热线：（010）88379604 ISBN978-7-111-24035-8 购书热线：（010）68995259，68995264 读者信箱：[email protected] 华章网站http://www.hzbook.com 网上购书：www.china-pub.com 9787111240358 PEARSON 封设计：锡栏 Education 定价：49.00元 原书第3版 计算 机 丛 书 TP301/21=2 自动机理计 2008 语言和计算导论 John E.Hopcroft （美） 康奈尔大学 斯坦福大学 斯坦福大学 Automata Theory Languages,and Computation 3rd Edition Introduction to Automata Theory,Languages, and Computation Third Edition 机械工业出版社 China Machine Press 本书是关于形式语言、自动机理论和计算复杂性方面的经典之作，是国际上得到广泛 认可的计算机理论和计算机工程专业的优秀教材。书中涵盖了有穷自动机、正则表达式与 语言、正则语言的性质、上下文无关文法及上下文无关语言、下推自动机、上下文无关语 言的性质、图灵机、不可判定性以及难解问题等内容。本书注重定义、定理的准确性和严 格性，注重学生形式化和严格的数学推理能力的培养，同时在定义和证明中运用直观的方 法说明抽象概念，借助许多图表帮助传达思想，并包含大量难度各异的示例和习题，便于 读者加深对内容的理解。 本书适合作为计算机专业高年级本科生及研究生计算理论课程的教材和教学参考书。 Simplified Chinese edition copyright 2008 by Pearson Education Asia Limited and China Machine Press. Original English language title:Introduction to Automata Theory,Languages, and Computation,Third Edition(ISBN0-321-45536-3)by John E.Hopcroft,Rajeev Motwani,and JeffreyD.Ullman.Copyright 2007. All rights reserved. Published by arrangement with the original publisher,Pearson Education,Inc.,publishing as Addison-Wesley 本书封面贴有PearsonEducation（培生教育出版集团）激光防伪标签，无标签者不得 销售。 版权所有，侵权必究。 本书法律顾问北京市展达律师事务所 本书版权登记号：图字：01-2006-5653 图书在版编目（CIP）数据 自动机理论、语言和计算导论（原书第3版）/（美）霍普克罗夫特（Hopcroft，J.E.） 等著，孙家等译.一北京：机械工业出版社，2008.7 （计算机科学丛书） 书名原文：Introduction to Automata Theory,Languages,and Computation，（Third Edition) ISBN978-7-111-24035-8 I.自I.①霍··②孙··I.①自动机理论一教材②形式语言-教材IV.TP301 中国版本图书馆CIP数据核字（2008）第060185号 机械工业出版社（北京市西城区百万庄大街22号邮政编码100037） 责任编辑：刘立卿 北京京北制版厂印刷·新华书店北京发行所发行 2008年7月第1版第1次印刷 184mm×260mm·23.75印张 标准书号：ISBN978-7-111-24035-8 定价：49.00元 凡购本书，如有倒页、脱页、缺页，由本社发行部调换 本社购书热线：（010）68326294 出版者的话 文艺复兴以降，源远流长的科学精神和逐步形成的学术规范，使西方国家在自然科学的 各个领域取得了垒断性的优势，也正是这样的传统，使美国在信息技术发展的六十多年间名 家辈出、独领风骚。在商业化的进程中，美国的产业界与教育界越来越紧密地结合，计算机 学科中的许多泰山北斗同时身处科研和教学的最前线，由此而产生的经典科学著作，不仅壁 划了研究的范畴，还揭示了学术的源变，既遵循学术规范，又自有学者个性，其价值并不会 因年月的流逝而减退。 近年，在全球信息化大潮的推动下，我国的计算机产业发展迅猛，对专业人才的需求日 益迫切。这对计算机教育界和出版界都既是机遇，也是挑战，而专业教材的建设在教育战略 上显得举足轻重。在我国信息技术发展时间较短的现状下，美国等发达国家在其计算机科学 发展的几十年间积淀和发展的经典教材仍有许多值得借鉴之处。因此，引进一批国外优秀计 算机教材将对我国计算机教育事业的发展起到积极的推动作用，也是与世界接轨、建设真正 的世界一流大学的必由之路。 机械工业出版社华章分社较早意识到“出版要为教育服务”。自1998年开始，华章分社就 将工作重点放在了述选、移译国外优秀教材上。经过多年的不懈努力，我们与Pearson， McGraw-Hill，Elsevier，MIT，JohnWiley&Sons，Cengage等世界著名出版公司建立了良好 的合作关系，从他们现有的数百种教材中甄选出Andrew S.Tanenbaum，Bjarne Stroustrup Brain W.Kernighan,Dennis Ritchie,Jim Gray,Afred V.Aho,John E.Hopcroft,Jeffrey D Ullman,Abraham Silberschatz,William Stallings,DonaldE.Knuth,JohnL.Hennessy,Larry L.Peterson等大师名家的一批经典作品，以“计算机科学丛书”为总称出版，供读者学习、研 究及珍藏。大理石纹理的封面，也正体现了这套丛书的品位和格调。 “计算机科学丛书的出版工作得到了国内外学者的鼎力襄助，国内的专家不仅提供了中 肯的选题指导，还不辞劳苦地担任了翻译和审校的工作，而原书的作者也相当关注其作品在 中国的传播，有的还专程为其书的中译本作序。迄今，“计算机科学丛书”已经出版了近两百 个品种，这些书籍在读者中树立了良好的口碑，并被许多高校采用为正式教材和参考书籍。 权威的作者、经典的教材、一流的译者、严格的审校、精细的编辑，这些因素使我们的 图书有了质量的保证。随着计算机科学与技术专业学科建设的不断完善和教材改革的逐渐深 化，教育界对国外计算机教材的需求和应用都将步人一个新的阶段，我们的目标是尽善尽美， 而反馈的意见正是我们达到这一终极目标的重要帮助。华章分社欢迎老师和读者对我们的工 作提出建议或给予指正，我们的联系方法如下： 华章网站：www.hzbook.com 电子邮件：[email protected]