第一章基础知识 1
§1.1 集合与关系 1
目 录 1
§1.2 逻辑 10
§1.3图 13
§1.4 归纳证明 24
习题 25
第二章语言及文法 30
§2.1 语言的定义与运算 30
§2.2 文法 33
§2.3 文法的分类 36
习题 39
§3.1 有限自动机 41
第三章有限自动机和右线性文法 41
§3.2 不确定的有限自动机 46
§3.3 DFA与NFA的等效 48
§3.4 有ε转换的不确定的有限自动机 53
§ 3.5 正则集与正则式 59
§3.6 右线性文法和正则集 63
§3.7 右线性语言与有限自动机 66
§3.8 右线性语言的性质 71
§3.9 双向和有输出的有限自动机 84
习题 90
第四章上下文无关文法与下推自动机 94
§4.1 推导树与二义性 94
§4.2 上下文无关文法的变换 100
§4.3 Chomsky范式和Greibach范式 112
§4.4 下推自动机 117
§4.5 上下文无关文法与下推自动机 122
§4.6 上下文无关语言的性质 129
§4.7 受限型上下文无关文法 138
习题 139
第五章图灵机 144
§5.1 基本图灵机 144
§5.2 图灵机的构造技术 149
§5.3 修改型图灵机 157
§5.4 图灵机与无限制文法 166
§5.5 线性有界自动机与上下文有关文法 170
习 题 171
§6.1 翻译式 173
第六章翻译 173
§6.2 转换器 180
§6.3 词法分析 192
§6.4 句法分析 197
习题 207
第七章解析方法 210
§7.1 回溯解析 210
§7.2 LL(k)文法 226
§7.3 LR(k)文法 247
§7.4 优先文法 268
§7.5 表格解析 274
习 题 285
参考文献 290