书目详细信息
： 形式语言，自动机理论与计算机导论
书目信息 机读格式(MARC)
| ISBN/价格： | 978-7-121-15394-5:CNY59.00 |
|---|---|
| 作品语种： | chi eng |
| 出版国别： | CN 110000 |
| 题名责任者项： | 形式语言，自动机理论与计算机导论/.(印)Kamala Krithivasan，(印)Rama R著/.孟宇龙，李健利，王宇华译 |
| 出版发行项： | 北京:,电子工业出版社:,2012 |
| 载体形态项： | 317页:;+26cm |
| 一般附注： | 国外计算机科学教材系列 |
| 相关题名附注： | 封面英文题名：Introduction to formal languages, automata theory and computation |
| 提要文摘： | 本书是作者结合其多年来在大学讲授该门课程的经验和体会，选择和组织有关内容撰写而成。不仅含有有关正则语言、上下文无关语言的文法、识别模型及其性质、图灵机的基本知识，更涉及到本学科方法论中所包含的3个学科形态。其内容特点是抽象和形式化，既有严格的理论证明，又具有很强的构造性，从而培养学生的形式化描述和抽象思维能力，使学生了解和初步掌握“问题、形式化、自动化(计算机化)”的解题思路。 |
| 并列题名： | Introduction to formal languages, automata theory and computation eng |
| 题名主题： | 形式语言 教材 |
| 题名主题： | 自动机理论 教材 |
| 题名主题： | 电子计算机 教材 |
| 题名主题： | 形式语言 |
| 题名主题： | 自动机理论 |
| 题名主题： | 电子计算机 |
| 中图分类： | TP301 |
| 个人名称等同： | 克里斯瓦森 (印) (女， Krithivasan, Kamala) 著 |
| 个人名称等同： | 拉玛 (印) (女，Rama R) 著 |
| 个人名称次要： | 孟宇龙 译 |
| 个人名称次要： | 李健利 译 |
| 个人名称次要： | 王宇华 (计算机) 译 |