自动机理论、语言和计算导论（原书第3版）
John E. Hopcroft, Rajeev Motwani, Jeffrey D. Ullman
评分 8.2分
本书是关于形式语言、自动机理论和计算复杂性方面的经典教材，是三位理论计算大师的巅峰之作，现已更新到第3版。书中涵盖了有穷自动机、正则表达式与语言、正则语言的性质、上下文无关文法及上下文无关语言、下推自动机、上下文无关语言的性质、图灵机、不可判定性以及难解问题等内容。
形式语言与自动机
陈有祺
评分 0.0分
《面向计算机科学与技术专业规范系列教材:形式语言与自动机》以四类形式语言（短语结构语言、上下文有关语言、上下文无关语言、正则语言）和四种自动机（有穷自动机、下推自动机、图灵机、线性有界自动机）为主线，讨论了形式语言与自动机方面的主要理论成果和应用实例。书中每一章的最后都配有大量不同难度的习题，有助于读者掌握《面向计算机科学与技术专业规范系列教材•形式语言与自动机》内容。 《面向计算机科学与技术专业
