本书目录导读：
作者：艾伦·图灵（Alan Turing）
出版社：剑桥大学出版社
出版时间：1936年
艾伦·图灵，英国数学家、逻辑学家、密码学家，被誉为计算机科学的奠基人之一，他的论文《论可计算数及其在判定问题中的应用》（On Computable Numbers, with an Application to the Entscheidungsproblem）首次提出了“图灵机”这一概念，为计算机科学的发展奠定了基础。
《形式语言与自动机》是艾伦·图灵的经典著作，于1936年首次出版，该书系统地介绍了形式语言、自动机、可计算性等概念，对计算机科学的发展产生了深远的影响。
《形式语言与自动机》共分为三个部分，分别为：
第一部分：形式语言
本部分介绍了形式语言的基本概念，包括符号、字母表、字符串、文法等，图灵通过定义形式语言，为计算机科学的研究提供了理论基础。
第二部分：自动机
本部分介绍了自动机的基本概念，包括有限自动机、图灵机、下推自动机等，图灵通过定义自动机，探讨了可计算性问题，为计算机科学的算法设计提供了理论指导。
第三部分：可计算性
本部分深入探讨了可计算性问题，包括停机问题、决定问题等，图灵通过证明停机问题不可解，揭示了可计算性的局限性，为计算机科学的发展指明了方向。
《形式语言与自动机》作为一本经典的计算机科学著作，具有以下特点：
1、理论与实践相结合：图灵在书中不仅介绍了形式语言、自动机等理论知识，还结合实际应用，探讨了计算机科学的实际问题。
2、逻辑严密：图灵在书中运用严密的逻辑推理，为计算机科学的发展提供了坚实的理论基础。
3、影响深远：该书对计算机科学的发展产生了深远的影响，为后来的研究者提供了宝贵的参考。
《形式语言与自动机》是一本具有重要价值的计算机科学著作，通过阅读这本书，读者可以深入了解形式语言、自动机、可计算性等概念，为计算机科学的研究和实践奠定基础。