自动机理论、语言和计算导论.pdf

英文版：Introduction to Automata Theory, Languages, and Computation 内容简介 《自动机理论、语言和计算导论》是关于形式语言、自动机理论和计算复杂性方面的经典之作。书中涵盖了有穷自动机、正则表达式与语言、正则语言的性质、上下文无关文法及上下文无关语言、下推自动机、上下文无关语言的性质、图灵机、不可判定性以及难解问题等内容。本书在定义和证明中使用了很多细节和直观说明，使用图来帮助阐明思想，并包含了大量的难度各异的示例和习题，以便读者确认和加深对内容的理解。 《自动机理论、语言和计算导论》适合作为计算机专业高年级本科生及研究生计算理论课程的教材和教学参考书。 作者简介 John E.Hopcroft，康奈尔大学计算机科学系教授，工程学院Joseph Silbert院长，康奈尔大学工程学院计算机科学主任。1986年图灵奖获得者。