21世纪大学本科计算机专业系列教材 形式语言与自动机理论 第3版

本书结合作者30年在哈工大、北工大讲授形式语言与自动机理论的经验，选择和组织有关内容撰写而成。全书分10章，介绍基础知识，形式语言，文法，正则语言的文法、自动机、正则表达式描述和性质，上下文无关语言的文法及下推自动机描述及其性质，图灵机，上下文有关语言的线性有界自动机描述等。本书的讨论尽量追求问题求解的方法和思想，致力于学生计算思维能力的培养。