中文摘要 | 第1-4页 |
英文摘要 | 第4-5页 |
前言 | 第5-7页 |
第一章 预备知识 | 第7-13页 |
·自动机理论基础 | 第7-10页 |
·正则语言及运算 | 第10-11页 |
·等价和相似关系 | 第11-13页 |
第二章 确定型有限自动机(DFA)的最小化算法—填表算法 | 第13-20页 |
·问题的产生 | 第13页 |
·填表算法 | 第13-20页 |
第三章 确定型有限自动机(DFA)改进的填表算法 | 第20-28页 |
·问题的产生 | 第20-21页 |
·新算法所需的理论基础 | 第21-23页 |
·新填表算法描述 | 第23-24页 |
·新填表算法的正确性证明 | 第24-26页 |
·新算法的时空复杂性分析 | 第26-28页 |
第四章 新算法与原填表算法的比较 | 第28-37页 |
·实例比较 | 第28-33页 |
·新旧填表算法运行情况分析 | 第33-37页 |
第五章 确定型有限自动机并、交运算的构造方法及状态最小化 | 第37-42页 |
·确定型有限自动机并运算的构造方法 | 第37-39页 |
·确定型有限自动机交运算的构造方法 | 第39-41页 |
·经运算后的确定型有限自动机的状态最小化 | 第41-42页 |
第六章 结束语 | 第42-43页 |
·本文的工作总结 | 第42页 |
·下一步工作展望 | 第42-43页 |
致谢 | 第43-44页 |
参考文献 | 第44-47页 |
附录 | 第47-48页 |