本书以四类形式语言（短语结构语言，上下文有关语言。上下文无关语言。正则语言）和四种自动机（有穷自动机、下推自动机．图灵机，线性有界自动机）为主线，讨论了形式语言与自动机方面的主要理论成果和应用实例。