电子工业出版社

形式语言，自动机理论与计算导论

丛书名：国外计算机科学教材系列
著者：Kamala Krithivasan（卡马拉）, Rama R（拉玛）
作译者：孟宇龙,李健利,王宇华
出版时间：2012-02
字数：525
页数：328
版次：01-01
开本：16(185*260) 开
印次：01-01
ISBN：9787121153945
所属分类：教育,本科研究生,计算机类,
定价：59.0

内容简介:
形式语言与自动机理论是计算机科学与技术专业的一门重要课程。本书是作者结合其多年来在大学讲授该门课程的经验和体会，选择和组织有关内容撰写而成。不仅含有有关正则语言、上下文无关语言的文法、识别模型及其性质、图灵机的基本知识，更涉及到本学科方法论中所包含的3个学科形态。其内容特点是抽象和形式化，既有严格的理论证明，又具有很强的构造性，从而培养学生的形式化描述和抽象思维能力，使学生了解和初步掌握“问题、形式化、自动化（计算机化）”的解题思路。