21世纪大学本科计算机专业系列教材 形式语言与自动机理论 第3版
蒋宗礼，姜守旭编著2013 年出版287 页ISBN：9787302318026
本书结合作者30年在哈工大、北工大讲授形式语言与自动机理论的经验，选择和组织有关内容撰写而成。全书分10章，介绍基础知识，形式语言，文法，正则语言的文法、自动机、正则表达式描述和性质，上下文无关语言的文法.....
张思发，吴让仲，樊俊青2007 年出版348 页ISBN：7040227088
本书是普通高等教育“十一五”国家级规划教材。全书以适用、实用、会用、通用、符合社会实际需要为主线，着重培养学生的动手能力，语言通俗、知识体系完整、密切联系目前学科国内外学术的发展方向，添加了一些新...
（ 美 ）N. 格雷威奇（Nathan Gurewich），（美）O.格雷威奇（Ori Gurewich）著；贺汛等译1996 年出版538 页ISBN：7030053117
