机读格式显示(MARC)

• 000 02327nam 2200373 450

• 001 0000795619

• 005 20250619084100.0

• 010 __ |a 978-7-111-76752-7 |d CNY129.00

• 100 __ |a 20250310d2025 em y0chiy50 ea

• 101 1_ |a chi |c eng

• 102 __ |a CN |b 110000

• 105 __ |a a a 000yy

• 106 __ |a r

• 200 1_ |a 形式语言与自动机导论 |A xing shi yu yan yu zi dong ji dao lun |f (美) 彼得·林茨, 苏珊·H. 罗杰著 |d = An introduction to formal languages and automata |f Peter Linz, Susan H. Rodger |g 王春宇, 袁永峰译 |z eng

• 210 __ |a 北京 |c 机械工业出版社 |d 2025.2

• 215 __ |a 477页 |c 图 |d 26cm

• 225 2_ |a 计算机科学丛书 |A ji suan ji ke xue cong shu

• 300 __ |a 本书中文简体字版由Jones & Bartlett Learning, LLC授权机械工业出版社独家出版

• 305 __ |a 译自原书第7版

• 314 __ |a 彼得·林茨 (Peter Linz), 加利福尼亚大学戴维斯分校计算机科学系荣休教授。他的研究重点是数值分析理论, 致力于构建可靠的数值方法并将其用于科学计算中问题求解环境的设计。苏珊·H. 罗杰 (Susan H. Rodger), 杜克大学计算机科学实践教授。她的主要贡献是开发了大量用于理论计算机科学教育的可视化和交互软件。王春宇, 博士, 哈尔滨工业大学计算学部长聘教授, 博士生导师。主要从事人工智能与生物、化学领域的交叉学科研究。袁永峰, 博士, 哈尔滨工业大学计算学部副教授, 硕士生导师。主要研究方向为科学计算与可视化、计算心脏学、虚拟心脏建模与仿真等。

• 320 __ |a 有书目

• 330 __ |a 本书主要讨论形式语言与自动机理论、可计算性理论和计算复杂性理论等内容。本书强调定义和定理的准确性和严谨性, 但在形式化证明中又非常注重符合直觉的理解, 避免多余的数学细节。本书分为理论和应用两个部分: 理论部分主要介绍有穷自动机、正则语言和文法、上下文无关语言和文法、下推自动机、图灵机、形式语言和自动机的层次结构以及计算复杂性等内容, 应用部分主要介绍编译器和解析、LL解析以及LR解析。

• 333 __ |a 本书适合高等院校计算机科学及相关专业的学生学习, 也适合理论计算机科学方向的研究人员参考

• 410 _0 |1 2001 |a 计算机科学丛书

• 500 10 |a Introduction to formal languages and automata |A Introduction To Formal Languages And Automata |m Chinese

• 606 0_ |a 形式语言 |A xing shi yu yan

• 606 0_ |a 自动机理论 |A zi dong ji li lun

• 690 __ |a TP301 |v 5

• 701 _1 |a 林茨 |A lin ci |g (Linz, Peter) |4 著

• 701 _1 |a 罗杰 |A luo jie |g (Rodger, Susan H.) |4 著

• 702 _0 |a 王春宇 |A wang chun yu |4 译

• 702 _0 |a 袁永峰 |A yuan yong feng |4 译

• 801 _0 |a CN |b 湖北三新 |c 20250310

• 905 __ |a LIB |d TP301/72