《面向计算机科学与技术专业规范系列教材:形式语言与自动机》以四类形式语言（短语结构语言、上下文有关语言、上下文无关语言、正则语言）和四种自动机（有穷自动机、下推自动机、图灵机、线性有界自动机）为主线，讨论了形式语言与自动机方面的主要理论成果和应用实例。书中每一章的最后都配有大量不同难度的习题，有助于读者掌握《面向计算机科学与技术专业规范系列教材•形式语言与自动机》内容。<br />《面向计算机科学与技术专业规范系列教材:形式语言与自动机》采用通俗的语言和形象化的方法来表达概念和定理，逻辑严谨、思维缜密，可作为高等院校计算机及相关专业硕士“形式语言与自动机”课程的教材。