本书以四类形式语言(短语结构语言,上下文有关语言。上下文无关语言。正则语言)和四种自动机(有穷自动机、下推自动机.图灵机,线性有界自动机)为主线,讨论了形式语言与自动机方面的主要理论成果和应用实例。
本书的主要特色:
取材丰富。涵盖了该领域国内外现有教材的主要内容。
在写作方法上,循序渐进,深入浅出。在概念的引入和定理的证明上,尽量采用通俗的语言和形象化的方法来表达。
理论与实际相结合。除具有配合定理和定义的大量例题外,许多章节还有现代计算机技术中应用的实例。
适应面广。既适合作为本科生的教材,也适合作为研究生的教材。