第一章基础知识

§1.1 集合与关系

目 录

§1.2 逻辑

§1.3图

§1.4 归纳证明

习题

第二章语言及文法

§2.1 语言的定义与运算

§2.2 文法

§2.3 文法的分类

习题

§3.1 有限自动机

第三章有限自动机和右线性文法

§3.2 不确定的有限自动机

§3.3 DFA与NFA的等效

§3.4 有ε转换的不确定的有限自动机

§ 3.5 正则集与正则式

§3.6 右线性文法和正则集

§3.7 右线性语言与有限自动机

§3.8 右线性语言的性质

§3.9 双向和有输出的有限自动机

习题

第四章上下文无关文法与下推自动机

§4.1 推导树与二义性

§4.2 上下文无关文法的变换

§4.3 Chomsky范式和Greibach范式

§4.4 下推自动机

§4.5 上下文无关文法与下推自动机

§4.6 上下文无关语言的性质

§4.7 受限型上下文无关文法

习题

第五章图灵机

§5.1 基本图灵机

§5.2 图灵机的构造技术

§5.3 修改型图灵机

§5.4 图灵机与无限制文法

§5.5 线性有界自动机与上下文有关文法

习 题

§6.1 翻译式

第六章翻译

§6.2 转换器

§6.3 词法分析

§6.4 句法分析

习题

第七章解析方法

§7.1 回溯解析

§7.2 LL(k)文法

§7.3 LR(k)文法

§7.4 优先文法

§7.5 表格解析

习 题

参考文献