形式语言与自动机理论若干问题研究
| 摘要 | 第1-6页 |
| ABSTRACT | 第6-10页 |
| 第一章 绪论 | 第10-18页 |
| ·研究的目的与意义 | 第10页 |
| ·研究的背景与现状 | 第10-15页 |
| ·形式语言与自动机理论的发展 | 第10-13页 |
| ·本文研究的相关问题现状 | 第13-15页 |
| ·本文的主要研究内容 | 第15页 |
| ·特色和创新 | 第15-16页 |
| ·本文的章节安排 | 第16-18页 |
| 第二章 形式语言与自动机的基本理论 | 第18-35页 |
| ·形式语言基本理论 | 第18-21页 |
| ·文法和语言 | 第18-20页 |
| ·Chomsky 文法和语言体系 | 第20页 |
| ·正则表达式和正则集 | 第20-21页 |
| ·自动机基本理论 | 第21-31页 |
| ·有限状态自动机 | 第21-25页 |
| ·下推自动机 | 第25-28页 |
| ·图灵机 | 第28-31页 |
| ·形式语言与自动机等价性基本理论 | 第31-34页 |
| ·本章小结 | 第34-35页 |
| 第三章 形式语言与自动机理论中的关于ε的一些问题 | 第35-43页 |
| ·ε产生式对文法和语言分类的影响 | 第35-37页 |
| ·FA 接收ε句子 | 第37-39页 |
| ·DFA 接收ε句子 | 第37-38页 |
| ·NFA 接收ε句子 | 第38页 |
| ·ε-NFA 接收ε句子 | 第38-39页 |
| ·ε-NFA 转换为NFA | 第39-41页 |
| ·本章小结 | 第41-43页 |
| 第四章 语言运算的有效封闭性分析 | 第43-64页 |
| ·引言 | 第43-44页 |
| ·语言的基本运算和运算的有效封闭 | 第44页 |
| ·四类语言对基本运算有效封闭 | 第44-51页 |
| ·联合运算的有效封闭 | 第45-46页 |
| ·连接运算的有效封闭 | 第46-47页 |
| ·连接运算的串道问题 | 第47-49页 |
| ·克林闭包运算有效封闭 | 第49-51页 |
| ·正则表达式的形成 | 第51-52页 |
| ·上下文无关语言对上下文无关置换有效封闭 | 第52-54页 |
| ·利用语言运算的封闭性构造自动机 | 第54-62页 |
| ·带空移动的有限状态自动机ε-NFA 的构造 | 第55-58页 |
| ·下推自动机PDA 的构造 | 第58-60页 |
| ·图灵机TuringM 的构造 | 第60-62页 |
| ·本章小结 | 第62-64页 |
| 第五章 利用等价类构造确定的有限状态自动机 | 第64-73页 |
| ·等价关系和等价类 | 第64-65页 |
| ·有限状态自动机的set 集合 | 第65-66页 |
| ·经典问题 | 第66-67页 |
| ·通用性考虑 | 第67-72页 |
| ·本章小结 | 第72-73页 |
| 第六章 通用图灵机编码方案的扩展 | 第73-79页 |
| ·编码的目的 | 第73-74页 |
| ·编码方法 | 第74-76页 |
| ·图灵机编码实例 | 第76-78页 |
| ·本章小结 | 第78-79页 |
| 第七章 图灵机扫描多个符号技术 | 第79-86页 |
| ·图灵机的动作 | 第79页 |
| ·利用存储技术识别包含子串的语言 | 第79-80页 |
| ·利用扫描子串技术识别包含子串的语言 | 第80页 |
| ·扫描多个符号的图灵机与扫描一个符号的图灵机等价 | 第80-83页 |
| ·扫描多个符号的图灵机的扩展 | 第83-84页 |
| ·扩展图灵机状态转换函数实例 | 第84-85页 |
| ·本章小结 | 第85-86页 |
| 第八章 非负整数的k 元函数图灵计算模型 | 第86-100页 |
| ·引言 | 第86-87页 |
| ·非负整数图灵关系运算 | 第87页 |
| ·非负整数图灵算术运算 | 第87-96页 |
| ·非负整数图灵加法运算 | 第87-88页 |
| ·非负整数图灵减法运算 | 第88-90页 |
| ·非负整数图灵乘法运算 | 第90-93页 |
| ·非负整数图灵除法运算 | 第93-94页 |
| ·非负整数图灵余数运算 | 第94-96页 |
| ·非负二进制整数与一进制数之间的转换 | 第96-99页 |
| ·非负二进制整数转换为一进制数 | 第96-98页 |
| ·非负一进制整数转换为二进制数 | 第98-99页 |
| ·本章小结 | 第99-100页 |
| 第九章 非负二进制数的图灵计算模型 | 第100-112页 |
| ·非负二进制整数图灵关系运算 | 第100-101页 |
| ·非负二进制整数图灵二进制算术运算 | 第101-109页 |
| ·非负二进制整数图灵加法运算 | 第101-103页 |
| ·非负二进制整数图灵减法运算 | 第103-104页 |
| ·非负二进制整数图灵乘法运算 | 第104-106页 |
| ·非负二进制整数图灵除法运算 | 第106-109页 |
| ·串长度图灵计数器 | 第109-111页 |
| ·本章小结 | 第111-112页 |
| 第十章 结束语 | 第112-114页 |
| 致谢 | 第114-115页 |
| 参考文献 | 第115-122页 |
| 攻博期间取得的研究成果 | 第122-124页 |
