MARC状态:审校 文献类型:中文图书 浏览次数:20
- 题名/责任者:
- 自动机理论、语言和计算导论/(美)约翰·E. 霍普克罗夫特(John E. Hopcroft),(美)拉杰夫·莫特瓦尼(Rajeev Motwani),(美)杰弗里·D. 乌尔曼(Jeffrey D. Ullman)著 孙家骕等译
- 出版发行项:
- 北京:机械工业出版社,2022
- ISBN及定价:
- 978-7-111-70429-4/CNY119.00
- 载体形态项:
- 11,366页:图;26cm
- 丛编项:
- 计算机科学丛书
- 个人责任者:
- (美) 霍普克罗夫特 (Hopcroft, John E.) 著
- 个人责任者:
- (美) 穆特瓦尼 (Motwani, Rajeev) 著
- 个人责任者:
- (美) 厄尔曼 (Ullman, Jeffrey David) 著
- 个人次要责任者:
- 孙家骕 译
- 学科主题:
- 自动机理论
- 学科主题:
- 形式语言
- 中图法分类号:
- TP301.1
- 中图法分类号:
- TP301.2
- 版本附注:
- 据原书第3版译出
- 版本附注:
- 由Pearson Education(培生教育出版集团)授权出版
- 责任者附注:
- 拉杰夫·莫特瓦尼 (Rajeev Motwani),斯坦福大学计算机科学系教授。
- 提要文摘附注:
- 本书是形式语言、自动机理论和计算复杂性方面的经典之作。书中涵盖了有穷自动机、正则表达式与语言、正则语言的性质、上下文无关文法及上下文无关语言、下推自动机、上下文无关语言的性质、图灵机、不可判定性以及难解问题等内容。本书对定义和证明进行了详细且直观的说明,使用图来帮助阐明思想,并包含了大量的难度各异的示例和习题,以便读者加深对内容的理解。
全部MARC细节信息>>
索书号 | 条码号 | 年卷期 | 馆藏地 | 书刊状态 | 还书位置 |
TP301.1/8 | CN1895025 | 内阅图书 | 阅览 | 内阅图书 | |
TP301.1/8 | CN1895026 | 未央馆 | 可借 | 未央馆 |
显示全部馆藏信息