| 摘要 | 第1-6页 |
| Abstract | 第6-8页 |
| 目录 | 第8-10页 |
| 1 绪论 | 第10-16页 |
| ·研究的背景和意义 | 第10-11页 |
| ·国内外研究现状 | 第11-13页 |
| ·本文的主要内容和创新之处 | 第13-16页 |
| 2 形式语言与自动机理论基础 | 第16-40页 |
| ·抽象代数中的基本概念和术语 | 第16-20页 |
| ·语言和文法 | 第20-25页 |
| ·有限状态自动机和有限状态转换机 | 第25-34页 |
| ·树型自动机和树型转换机 | 第34-38页 |
| ·小结 | 第38-40页 |
| 3 几个基本操作与逆转进行复合运算的状态复杂度 | 第40-72页 |
| ·引言 | 第40-41页 |
| ·有限状态自动机上的一些基本操作 | 第41-46页 |
| ·正则语言上单个操作状态复杂度的一些结果 | 第46-48页 |
| ·并与逆转进行复合运算的状态复杂度 | 第48-60页 |
| ·交与逆转进行复合运算的状态复杂度 | 第60-69页 |
| ·连接及星与逆转进行复合运算的状态复杂度 | 第69-71页 |
| ·结论 | 第71-72页 |
| 4 星操作与几个基本操作进行复合运算的状态复杂度上界 | 第72-89页 |
| ·引言 | 第72-73页 |
| ·基本操作与星操作进行复合运算的状态复杂度 | 第73-76页 |
| ·星操作与并操作的复合运算状态复杂度上界 | 第76-80页 |
| ·星操作与交操作的复合运算状态复杂度上界 | 第80-83页 |
| ·星操作与连接操作的复合运算状态复杂度上界 | 第83-87页 |
| ·星操作与逆转操作的复合运算状态复杂度上界 | 第87页 |
| ·结论 | 第87-89页 |
| 5 模糊树型自动机模型 | 第89-113页 |
| ·引言 | 第89-90页 |
| ·网格理论基本知识 | 第90-93页 |
| ·模糊有理集及模糊可识别集 | 第93-97页 |
| ·模糊树型自动机 | 第97-104页 |
| ·不动点原理 | 第104-111页 |
| ·结论 | 第111-113页 |
| 6 全文总结和进一步研究工作展望 | 第113-115页 |
| ·全文的总结 | 第113页 |
| ·进一步研究工作展望 | 第113-115页 |
| 致谢 | 第115-117页 |
| 参考文献 | 第117-124页 |
| 附录1 攻读学位期间参加的科研课题 | 第124-125页 |
| 附录2 攻读学位期间发表的学术论文 | 第125-126页 |