"本书介绍形式语言与自动机理论相关的基础知识，并以自动机和文法为轴线，突出在计算机科学与技术领域有重要应用背景的内容。本书的知识体系可从密切相关的5个层面体现：有限自动机、正规表达式与正规语言；上下文无关文法、下推自动机与上下文无关语言；经典分析文法及相关自动机；图灵机与递归可枚举语言；计算理论初步知识。

学习本书内容，有助于培养计算机科学与技术基础理论方面的素养，提高逻辑思维和解决相关实际问题的能力，并为计算机领域专业知识的深入学习和理解，以及从事科学研究或技术开发工作奠定坚实的基础。

本书可作为高等院校计算机科学与技术相关专业本科/研究生教材或课外学习资料，也可作为相关教师、科研或工程技术人员的参考书。

"