一类非确定型有穷自动机的极小化及时间复杂性

摘要	第1-4页
Abstract	第4-5页
第一章 前言	第5-7页
·研究背景	第5-6页
·研究的主要内容及意义	第6页
·本文的结构安排及主要工作	第6-7页
第二章 有穷自动机基本理论	第7-17页
·引言	第7页
·确定型有穷自动机基本概念	第7-10页
·非确定型有穷自动机基本概念	第10-11页
·带ε转移的非确定型有穷自动机基本概念	第11-12页
·连接型有穷自动机基本概念	第12-13页
·确定型有穷自动机与非确定型有穷自动机的等价性	第13-17页
第三章 确定型有穷自动机的极小化	第17-26页
·确定型有穷自动机的极小化	第17-21页
·验证算法	第21-22页
·自动机极小化的时间复杂性	第22-26页
第四章 连接型有穷自动机的极小化	第26-36页
·采用树图分割法实现连接型有穷自动机的极小化	第26-32页
·算法验证	第32-34页
·连接型有穷自动机极小化的时间复杂性	第34-36页
第五章 非确定型有穷自动机的极小化	第36-46页
·非确定型有穷自动机极小化的相关概念	第36-39页
·非确定型有穷自动机的极小化的临界条件	第39-45页
·非确定型有穷自动机状态合并条件	第40-42页
·非确定型有穷自动机极小化	第42-45页
·非确定型有穷自动机的极小化算法	第45-46页
全文总结及进一步的工作	第46-47页
致谢	第47-48页
参考文献	第48-50页
附录	第50-51页