潍坊科技学院图书馆书目检索系统

Online Public Access Catalogue

题名/责任者:

形式语言与自动机导论/(美) 彼得·林茨, 苏珊·H.罗杰著 王春宇, 袁永峰译

出版发行项:

北京:机械工业出版社,2025

ISBN及定价:

978-7-111-76752-7/CNY129.00

载体形态项:

477页:图;26cm

统一题名:

Introduction to formal languages and automata

丛编项:

计算机科学丛书

个人责任者:

林茨 (Linz, Peter) 著

个人责任者:

罗杰 (Rodger, Susan H.) 著

个人次要责任者:

王春宇 译

个人次要责任者:

袁永峰 译

学科主题:

形式语言-理论

学科主题:

自动机理论

中图法分类号:

TP301.2

中图法分类号:

TP301.2

版本附注:

据原书第7版译出

出版发行附注:

由Jones and Bartlett Publishers, Inc.授权出版

责任者附注:

彼得·林茨 (Peter Linz) 加利福尼亚大学戴维斯分校计算机科学系荣休教授。他的研究重点是数值分析理论, 致力于构建可靠的数值方法并将其用于科学计算中问题求解环境的设计。除本书外, 他还著有Exploring Numerical Methods: An Introduction to Scientific Computing。他拥有威斯康星大学博士学位。王春宇, 博士, 哈尔滨工业大学计算学部长聘教授、博士生导师。主要从事人工智能与生物、化学领域的交叉学科研究, 研究兴趣包括生物分子的结构与功能、人工智能辅助药物发现等。中国计算机学会高级会员, 中国计算机学会生物信息学专委会执行委员。袁永峰, 博士, 哈尔滨工业大学计算学部副教授、硕士生导师。主要研究方向为科学计算与可视化、计算心脏学、虚拟心脏建模与仿真等。曾获黑龙江省教学成果二等奖, 黑龙江省自然科学三等奖, 所在教学团队获评黑龙江省课程思政示范团队。苏珊·H.罗杰 (Susan H. Rodger), 杜克大学计算机科学实践教授。她的主要贡献是开发了大量用于理论计算机科学教育的可视化和交互软件, 其中, JFLAP软件被世界各地的大学用于形式语言与自动机的实验教学。她曾获得2023年ACM SIGCSE计算机科学教育杰出贡献奖。

书目附注:

有书目

提要文摘附注:

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

豆瓣简介：