形式语言与自动机的图书目录
出版者的话
序言
前言
教学建议 1.1 定理及其证明方法
1.1.1 演绎法
1.1.2 反证法
1.1.3 归纳法
1.2 集合及其基本运粗弯算
1.2.1 集合基础知识
1.2.2 集合的基本运算
1.2.3 关系与映射
1.3 图和树简介
1.3.1图的基本概念
1.3.2图的矩阵表示
1.3.3 树的基本知识
1.4 字母表、字符串和语言
习题 2.1 问题的提出
2.2 形式文法与形式语言
2.3 文法的乔姆斯基分类
习题 3.1 非形式化描述
3.2 有穷自动机的基本定义
3.3 非确定的有穷自动机
3.4 具有￡转移的有穷自动机
3.5 有穷自动机的应用
3.5.1 在文本中查找字符串
3.5.2 用于文本搜索的非御亮确定的有穷自动机
3.5.3 识别关键字集合的DFA
3.6 具有输出的有穷自动机
习题 4.1 正则表达式的定义
4.2 镇凳宽正则表达式和有穷自动机的关系
4.3则表达式的等价变换
4.3.1 交换律与结合律
4.3.2 单位元与零元
4.3.3 分配律
4.3.4 与“*”构造有关的定律
4.3.5 发现正则表达式定律的一般方法
4.4 正则表达式的应用
4.4.1UNIX中的正则表达式
4.4.2 词法分析
4.4.3 查找文本中的模式
习题 5.1 正则文法和有穷自动机的关系
5.2 正则语言的泵引理
5.3 正则语言的封闭性
5.4 正则语言的判定算法
5.5 有穷自动机的最小化
习题 6.1上下文无关文法的语法分析
6.2 上下文无关文法的化简
6.3 上下文无关文法的范式
6.4 上下文无关文法的应用
6.4.1 用上下文无关文法描述语言
6.4.2 语法分析器生成工具YACC
…… 第8章 上下文无关语言的性质
第9章 图灵机导引
第10章 不可判定性
第11章 线性有界自动机和上下文有关文法
第12章 确定的上下文无关语言和LR（k）文法
参考文献
……
