西安工业大学图书馆书目检索系统

Online Public Access Catalogue

题名/责任者:

形式语言与自动机理论/蒋宗礼, 姜守旭编著

出版发行项:

北京:清华大学出版社,2003

ISBN及定价:

7-302-06103-3/CNY28.00

载体形态项:

12,346页;23cm

丛编项:

21世纪大学本科计算机专业系列教材

个人责任者:

蒋宗礼 编著

个人责任者:

姜守旭 编著

学科主题:

形式语言-高等学校-教材

学科主题:

自动机理论-高等学校-教材

学科主题:

形式语言

学科主题:

自动机理论

中图法分类号:

TP301.2

中图法分类号:

TP301.1

提要文摘附注:

本书不仅含有有关正则语言、上下文无关语言的文法、识别模型及其性质、图灵机的基本知识，更涉及到本学科方法论中所包含的三个学科形态。其内容特点是抽象和形式化，既有严格的理论证明、又具有很强的构造性，从而培养学生的形式化描述和抽象思维能力，使学生了解和初步掌握“问题、形式化、自动化（计算机化）”的解题思路。

豆瓣简介：