形式语言与自动机[电子资源.图书]

第 1 章 基础知识 8页
1.1 集合与关系 8页
1.2 逻 辑 16页
1.3 图 19页
1.4 证明技术 29页
习 题 35页
第 2 章 语言及文法 41页
2.1 语言的定义与运算 41页
2.2 文 法 44页
2.3 文法的分类 47页
习 题 55页
第 3 章 有限自动机和右线性文法 57页
3.1 有限自动机 57页
3.2 不确定的有限自动机 67页
3.3 DFA 与 NFA 的等效 71页
3.4 有 ε 转换的不确定的有限自动机
3.5 正则集与正则式 83页
3.6 右线性文法和正则集 87页
3.7 正则表达式和有限自动机 90页
3.8 右线性语言与有限自动机 96页
3.9 右线性语言的性质 102页
3.10 双向和有输出的有限自动机 120页
习 题 126页
第 4 章 上下文无关文法与下推自动机
4.1 推导树与二义性 131页
4.2 上下文无关文法的变换 139页
4.3 Chomsky范式和 Greibach 范式 154页
4.4 下推自动机 159页
4.5 上下文无关文法与下推自动机 168页
4.6 上下文无关语言的性质 179页
4.7 受限型上下文无关文法 187页
习 题 188页
第 5 章 图灵机 194页
5.1 基本图灵机 194页
5.2 图灵机的构造技术 203页
5.3 修改型图灵机 212页
5.4 图灵机与无限制文法 222页
5.5 线性有界自动机与上下文有关文法
习 题 226页
第 6 章 翻译 229页
6.1 翻译式 229页
6.2 转换器 236页
6.3 词法分析 248页
6.4 句法分析 255页
习 题 264页
第 7 章 自动机理论在通信领域的应用
7.1 状态机基本模型及其局限性 268页
7.2 MSC 和 SDL 简介 272页
7.3 应用状态机模型描述协议 280页