01 / 经典教材推荐
经典教材推荐
适合谁
通常在计算机科学专业二、三年级首次修读计算理论或形式语言课程的本科生。由于核心概念在给出定义和定理之前先通过引导性例子引入，本书特别面向觉得简练、高度形式化的教材难以入门的学生。
需要的基础
离散数学基础，包括集合、函数、关系、图和数学归纳法证明，以及一定的编程经验。
覆盖内容
数学预备知识；确定型与非确定型有限自动机；正则语言、正则表达式与正则文法；正则语言的性质与泵引理；上下文无关语言与文法、文法化简与范式；下推自动机；上下文无关语言的性质；图灵机与图灵论题；其他计算模型；递归可枚举语言与乔姆斯基层次；算法计算的极限；复杂性入门；以及本版新增的语法分析应用。
如何使用
阅读每节时先理解引导性例子，在做较难的题目之前先完成入门练习。动手画出自动机，并用纸笔或模拟器追踪它们对样例输入的处理过程。语法分析各章可与编译原理课程同时阅读，以体会理论的应用。
版本与来源
第7版，Jones & Bartlett Learning 于2022年出版，版权年份为2023年（ISBN 9781284231601），新增三章语法分析内容。本记录的书目数据来自 Jones & Bartlett Learning 产品页面，并与 Google Books 核对。