内容简介编辑本书采用通俗的语言和形象化的方法来表达概念和定理，逻辑严谨、思维缜密，可作为高等院校计算机及相关专业“形式语言与自动机”课程的教材。[1]作者简介编辑陈有祺，南开大学信息技术科学学院教授，多年来一直从事计算机软件方面的教学和研究工作，从1993年起享受国务院政府特殊津贴。讲授的课程主要有程序设计语言．编译原理，数据结构、形式语言与自动机等，研究领域包括编译理论、人工智能、自然语言理解，形式语言等。1980年至1982年在美国西密歇根大学作访问学者，研修人工智能和形式语言，回国后一直为研究生讲授“形式语言与自动机”课程。相关著作包括：《BCLR（k）文法及其分析算法》、《广义上下文无关文法和它的语法分析》、《从输入输出序列确定自动机的结构》