本书介绍了形式语言和自动机的基本理论和基本方法,主要内容包括计算理论基础、文法和语言、上下文无关文法及其语言、有穷状态自动机、正则语言与正则文法、正则语言的性质、下推自动机与上下文无关文法、上下文无关语言的性质、图灵机、图灵机的其他模型和其他计算模型等内容。本书可作为高等院校计算机科学与技术及相关专业的教材，也可作为教师、研究生或软件技术人员的参考书。