氢原子百科 《形式语言与自动机》是一本由陈有祺编写的书籍，由机械工业出版社出版。[2]
内容简介
《形式语言与自动机》探讨了形式语言与自动机领域的基本理论和实践应用。全书围绕着四类形式语言（短语结构语言、上下文有关语言、上下文无关语言、正则语言）以及四种自动机（有穷自动机、下推自动机、图灵机、线性有界自动机）展开论述，并提供了丰富的习题帮助学生巩固所学知识。[3]
作者简介
陈有祺，南开大学信息技术科学学院教授，自1993年起享有国务院政府特殊津贴。他在计算机软件的教学和研究领域有着长期的工作经验，曾在美国西密歇根大学担任访问学者，专注于人工智能和形式语言的研究。陈有祺教授主讲的课程包括程序设计语言、编译原理、数据结构以及形式语言与自动机等。他的研究方向涵盖编译理论、人工智能、自然语言理解和形式语言等多个领域。除了《形式语言与自动机》，他还著有多部相关学术作品。