形式语言与自动机理论是计算机科学与技术专业本科生的一门重要课程。本书是作者结合其10余年来在大学讲授该门课程的经验和体会,选择和组织有关内容撰写而成。本书不仅含有有关正则语言、上下文无关语言的文法、识别模型及其性质、图灵机的基本知识,更涉及到本学科方法论中所包含的三个学科形态。其内容特点是抽象和形式化,既有严格的理论证明,又具有很强的构造性,从而培养学生的形式化描述和抽象思维能力,使学生了解和实步掌握“问题、形式化、自动化(计算机化)”的解题思路。为了便于学生对内容的掌握,附录A还给出了建议的教学设计。
本书适合于计算机科学与技术专业的高年级本科生、研究生使用,也可供相关专业的学生、教师和科研人员参考。

21世纪是知识经济的时代,是人才竞争的时代。随着21世纪的到来,人类已步入信息社会,信息产业正成为全球经济的主导产业。计算机科学与技术在信息产业中占据了*重要的地位,这就对培养21世纪高素质创新型计算机专业人才提出了迫切的要求。
为了培养高素质创新型人才,必须建立高水平的教学计划和课程体系。在20多年跟踪分析ACM和IEEE计算机课程体系的基础上,紧跟计算机科学与技术的发展潮流,及时制定并修正教学计划和课程体系是尤其重要的。计算机科学与技术的发展对高水平人才的要求,需要我们从总体上优化课程结构,精炼教学内容,拓宽专业基础,加强教学实践,特别注重综合素质的培养,形成