安徽科技学院图书馆书目检索系统

Online Public Access Catalogue

题名/责任者:

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

出版发行项:

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

ISBN及定价:

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

载体形态项:

477页:图;26cm

统一题名:

Introduction to formal languages and automata

丛编项:

计算机科学丛书

个人责任者:

林茨 (Linz, Peter) 著

个人责任者:

罗杰 (Rodger, Susan H.) 著

个人次要责任者:

王春宇 译

个人次要责任者:

袁永峰 译

学科主题:

形式语言

学科主题:

自动机理论

中图法分类号:

TP301

一般附注:

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

版本附注:

译自原书第7版

责任者附注:

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

书目附注:

有书目

提要文摘附注:

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

使用对象附注:

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

豆瓣简介：