@a形式语言与自动机导论@Axing shi yu yan yu zi dong ji dao lun@f(美) 彼得·林茨, 苏珊·H.罗杰著@d= An introduction to formal languages and automata@fPeter Linz, Susan H. Rodger@g王春宇, 袁永峰译@zeng
210
@a北京@c机械工业出版社@d2025.02
215
@a477页@c图@d26cm
225
2
@a计算机科学丛书@Aji suan ji ke xue cong shu
305
@a据原书第7版译出
306
@a由Jones and Bartlett Publishers, Inc.授权出版
314
@a彼得·林茨 (Peter Linz) 加利福尼亚大学戴维斯分校计算机科学系荣休教授。他的研究重点是数值分析理论, 致力于构建可靠的数值方法并将其用于科学计算中问题求解环境的设计。除本书外, 他还著有Exploring Numerical Methods: An Introduction to Scientific Computing。他拥有威斯康星大学博士学位。王春宇, 博士, 哈尔滨工业大学计算学部长聘教授、博士生导师。主要从事人工智能与生物、化学领域的交叉学科研究, 研究兴趣包括生物分子的结构与功能、人工智能辅助药物发现等。中国计算机学会高级会员, 中国计算机学会生物信息学专委会执行委员。袁永峰, 博士, 哈尔滨工业大学计算学部副教授、硕士生导师。主要研究方向为科学计算与可视化、计算心脏学、虚拟心脏建模与仿真等。曾获黑龙江省教学成果二等奖, 黑龙江省自然科学三等奖, 所在教学团队获评黑龙江省课程思政示范团队。苏珊·H.罗杰 (Susan H. Rodger), 杜克大学计算机科学实践教授。她的主要贡献是开发了大量用于理论计算机科学教育的可视化和交互软件, 其中, JFLAP软件被世界各地的大学用于形式语言与自动机的实验教学。她曾获得2023年ACM SIGCSE计算机科学教育杰出贡献奖。
