题名:
形式语言与自动机理论   / 蒋宗礼, 姜守旭编著 ,
ISBN:
978-7-302-63625-0 价格： CNY59.90
语种:
chi
载体形态:
xiii, 301页 图 26cm
出版发行:
出版地： 北京 出版社： 清华大学出版社 出版日期： 2023
内容提要:
本书是作者结合其近40年来在大学讲授该门课程的经验和体会, 选择和组织有关内容撰写而成。基于计算机问题求解的需要讨论正则语言和上下文无关语言的文法、识别模型及其性质, 图灵机的基本知识。其内容特点是抽象和形式化, 既有严格的理论证明, 又具有很强的构造性。叙述中特别注意引导读者分析与解决问题, 以培养学生的形式化描述和抽象思维能力, 使学生了解和初步掌握“问题、形式化、自动化(计算机化)”的解题思路。为了便于学生对内容的掌握, 附录A 还给出了建议的教学设计。 
主题词:
形式语言   高等学校
主题词:
自动机理论   高等学校
中图分类法:
TP301-43 版次： 5
主要责任者:
蒋宗礼, 编著
主要责任者:
姜守旭 编著
版次:
第4版
附注:
“十二五”普通高等教育本科国家级规划教材 普通高等教育精品教材 
责任者附注:
蒋宗礼, 1978年3月至1984年7月在哈尔滨工业大学计算机系学习, 曾经到美国、加拿大进修, 自1984年起先后在哈尔滨工业大学和北京工业大学主讲“编译原理”“形式语言与自动机理论”“人工神经网络基础”等课程。