形式语言与自动机

1，基础知识

2，语言及文法

3，有限自动机和右线性文

4，上下文无关文法与下推自动机

5，图灵机

6，翻译

7，自动机理论在通信领域的应用

附录

本书扼要地介绍了形式语言与自动机的基本体系，是学习理论计算机科学基础的教材和参考书。书中主要介绍了形式语言的基本概念、自动机的模型以及形式语言与自动机的等价性，包括右线性文法与有限自动机、上下文无关文法与下推自动机、图灵机以及无限制文法等。同时介绍了自动机在通信领域的某些应用。
　　本书不追求过多形式化讨论，强调基本概念的直观背景和主要定理证明的思路分析。书中配有较多的例题和习题，可作为工科计算机专业本科生的教材和研究人员的参考书。

　　本书扼要地介绍了形式语言与自动机的基本体系，是学习理论计算机科学基础的教材和参考书。书中主要介绍了形式语言的基本概念、自动机的模型以及形式语言与自动机的等价性，包括右线性文法与有限自动机、上下文无关文法与下推自动机、图灵机以及无限制文法等。同时介绍了自动机在通信领域的某些应用。

　　本书不追求过多形式化讨论，强调基本概念的直观背景和主要定理证明的思路分析。书中配有较多的例题和习题，可作为工科计算机专业本科生的教材和研究人员的参考书。