作者：杨娟, 石川, 王柏主编
出版社： 北京邮电大学出版社
CIP号：2016314682
书号：978-7-5635-4997-9
出版地：北京
出版时间：2017.1
定价：￥30
本书扼要地介绍了形式语言与自动机的基本体系，是学习计算机科学基础的教材和参考书。书中主要介绍形式语言的基本概念、自动机模型以及形式语言与自动机的等价性，包括右线性文法与有限自动机、上下文无关文法与下推自动机、图灵机以及无限制文法等。同时介绍形式语言与自动机方面的主要理论成果和应用实例。本教材不追求过多形式化讨论，强调基本概念的直观背景和主要定理证明的思路分析，书中配有较多的例题和习题，适合作为工科计算机专业本科生的教材。