题名:
|
形式语言与自动机理论 / 蒋宗礼, 姜守旭编著 , |
ISBN:
|
978-7-302-31802-6 价格: CNY36.00 |
语种:
|
chi |
载体形态:
|
287页 图 26cm |
出版发行:
|
出版地: 北京 出版社: 清华大学出版社 出版日期: 2013 |
内容提要:
|
本书是作者结合其近30年来在大学讲授该门课程的经验和体会,选择和组织有关内容撰写而成。基于计算机问题求解的需要讨论正则语言、上下文无关语言的文法、识别模型及其性质、图灵机的基本知识。其内容特点是抽象和形式化,既有严格的理论证明,又具有很强的构造性。 |
主题词:
|
形式语言 高等学校 |
主题词:
|
自动机理论 高等学校 |
中图分类法:
|
TP301-43 版次: 5 |
主要责任者:
|
蒋宗礼 编著 |
主要责任者:
|
姜守旭 编著 |
版次:
|
第3版 |
附注:
|
“十二五”普通高等教育本科国家级规划教材 普通高等教育精品教材 |