MARC状态：订购 文献类型：中文图书 浏览次数：8
- 题名/责任者:
- 形式语言与自动机导论/(美)彼得·林茨(Peter Linz)，(美)苏珊·H. 罗杰(Susan H. Rodger)著 王春宇，袁永峰译
- 出版发行项:
- 北京:机械工业出版社,2025
- ISBN及定价:
- 978-7-111-76752-7/CNY129.00
- 载体形态项:
- 477页;26cm
- 丛编项:
- 计算机科学丛书
- 个人责任者:
- (美) 林茨 (Linz, Peter) 著
- 个人责任者:
- (美) 罗杰 (女，Rodger, Susan H.) 著
- 个人次要责任者:
- 王春宇 译
- 个人次要责任者:
- 袁永峰 译
- 学科主题:
- 形式语言
- 学科主题:
- 自动机理论
- 中图法分类号:
- TP301.2
- 中图法分类号:
- TP301.1
- 版本附注:
- Jones & Bartlett Learning, LLC授权出版 据原书第7版译出
- 提要文摘附注:
- 本书分为理论和应用两个部分，主要讨论形式语言与自动机理论、可计算性理论和计算复杂性理论等内容，帮助读者熟悉计算机科学的基础和原理，加强严格的形式化数学证明的能力。
全部MARC细节信息>>