MARC状态：审校 文献类型：中文图书 浏览次数：17
- 题名/责任者:
- 形式语言，自动机理论与计算机导论/(印)Kamala Krithivasan，(印)Rama R著 孟宇龙，李健利，王宇华译
- 出版发行项:
- 北京:电子工业出版社,2012
- ISBN及定价:
- 978-7-121-15394-5/CNY59.00
- 载体形态项:
- 317页;26cm
- 个人责任者:
- (印) 克里斯瓦森 著
- 个人责任者:
- (印) 拉玛 (女，Rama R) 著
- 个人次要责任者:
- 孟宇龙 译
- 个人次要责任者:
- 李健利 译
- 个人次要责任者:
- 王宇华 译
- 学科主题:
- 形式语言-教材
- 中图法分类号:
- TP301
- 中图法分类号:
- TP301
- 一般附注:
- 国外计算机科学教材系列
- 版本附注:
- 由Dorling Kindersley (India) Pvt. Ltd.授权出版
- 提要文摘附注:
- 本书是作者结合其多年来在大学讲授该门课程的经验和体会，选择和组织有关内容撰写而成。不仅含有有关正则语言、上下文无关语言的文法、识别模型及其性质、图灵机的基本知识，更涉及到本学科方法论中所包含的3个学科形态。其内容特点是抽象和形式化，既有严格的理论证明，又具有很强的构造性，从而培养学生的形式化描述和抽象思维能力，使学生了解和初步掌握“问题、形式化、自动化(计算机化)”的解题思路。
全部MARC细节信息>>
鄞州馆流通区(可借)