等价性在自动机极小化中的应用
| 摘要 | 第1-5页 |
| Abstract | 第5-6页 |
| 第一章 前言 | 第6-10页 |
| ·研究背景 | 第6-7页 |
| ·研究的主要内容及意义 | 第7-9页 |
| ·本文的结构安排及主要工作 | 第9-10页 |
| 第二章 有穷自动机与正则表达式 | 第10-25页 |
| ·引言 | 第10页 |
| ·确定型有穷自动机 | 第10-11页 |
| ·确定型有穷自动机的形式定义 | 第10-11页 |
| ·DFA识别的语言 | 第11页 |
| ·非确定型有穷自动机 | 第11-16页 |
| ·非确定性有穷自动机的形式定义 | 第11页 |
| ·确定型有穷自动机与非确定型有穷自动机的等价性 | 第11-16页 |
| ·带ε转移的非确定型有穷自动机 | 第16页 |
| ·正则表达式 | 第16-19页 |
| ·正则表达式的运算符及其构造 | 第17-18页 |
| ·正则表达式的应用 | 第18-19页 |
| ·有穷自动机和正则表达式的转换 | 第19-25页 |
| ·从 DFA到正则表达式 | 第19-21页 |
| ·通过消除状态把 DFA转化为正则表达式 | 第21-22页 |
| ·根据正则表达式构造自动机 | 第22-23页 |
| ·自动机的运算 | 第23-25页 |
| 第三章 正则语言的判定 | 第25-32页 |
| ·引言 | 第25页 |
| ·正则语言的泵引理 | 第25-28页 |
| ·泵引理的改进与加强 | 第28-30页 |
| ·正则语言的代数判定定理 | 第30-32页 |
| 第四章 确定型有穷自动机的最小化 | 第32-41页 |
| ·引言 | 第32页 |
| ·基本概念 | 第32-33页 |
| ·确定型有穷自动机的最小化算法 | 第33-36页 |
| ·验证 | 第36-37页 |
| ·算法的程序实现 | 第37-41页 |
| 第五章 非确定型有穷自动机的最小化 | 第41-51页 |
| ·引言 | 第41-42页 |
| ·基本概念 | 第42-43页 |
| ·位置自动机 | 第43-44页 |
| ·偏导自动机 | 第44-46页 |
| ·序(跟随)自动机 | 第46-47页 |
| ·NFAs化简的基本思路 | 第47-49页 |
| ·非确定型有穷自动机的最小化算法 | 第49-50页 |
| ·算法验证 | 第50-51页 |
| 第六章 全文总结及进一步的工作 | 第51-52页 |
| 致谢 | 第52-53页 |
| 参考文献 | 第53-56页 |
