这是一本被世界许多著名大学采用为计算机理论课程的教材或教学参考书，是关于形式语言、自动机理论和计算复杂性方面的经典教材，是三位理论计算大师的巅峰之作。

全书共分11部分，内容涵盖了有穷自动机、正则表达式与语言、正则语言性质、上下文无关文法及上下文无关语言、下推自动机、上下文无关语言的性质、图灵机、不可判定性以及难解问题等。全书以英文形式呈现，适合用作国内高校计算机专业高年级本科生或研究生的教材，还可供从事计算工作的研究人员参考。

本书是关于形式语言、自动机理论和计算复杂性方面的经典教材，是三位理论计算大师的巅峰之作，现已更新到第3版。书中涵盖了有穷自动机、正则表达式与语言、正则语言性质、上下文无关文法及上下文无关语言、下推自动机、上下文无关语言的性质、图灵机、不可判定性以及难解问题等内容。

本书已被世界许多著名大学采用为计算机理论课程的教材或教学参考书，适合用作国内高校计算机专业高年级本科生或研究生的教材，还可供从事计算工作的研究人员参考。

1 Automata:The Methods and the Madness

2 Finite Automata

3 Regular Expressions and Languages

4 Properties of Regular Languages

5 Context-Free Grammars and Languages

6 Pushdown Automata

7 Properties of Context-Free Languages

8 Introduction to Turing Machines

9 Undecidability

10 Intractable Problems

11 Additional Classes of Problems

Index