| 摘要 | 第5-7页 |
| ABSTRACT | 第7-8页 |
| 目录 | 第9-11页 |
| 插图索引 | 第11-12页 |
| 表格索引 | 第12-13页 |
| 主要符号对照表 | 第13-14页 |
| 第一章 绪论 | 第14-20页 |
| 1.1 研究背景 | 第14-15页 |
| 1.2 国内外研究现状 | 第15-17页 |
| 1.3 主要工作 | 第17-18页 |
| 1.4 章节安排 | 第18-20页 |
| 第二章 背景知识 | 第20-30页 |
| 2.1 进程重写系统 | 第20-24页 |
| 2.1.1 基本定义 | 第20-22页 |
| 2.1.2 层次结构 | 第22-23页 |
| 2.1.3 进程重写系统中的模型 | 第23-24页 |
| 2.2 互模拟等价关系 | 第24-28页 |
| 2.2.1 强互模拟关系 | 第25-26页 |
| 2.2.2 考虑内部动作的互模拟关系 | 第26-28页 |
| 2.3 无限状态系统验证问题 | 第28-30页 |
| 第三章 相关结论和技术 | 第30-38页 |
| 3.1 正规化进程 | 第30-31页 |
| 3.2 进程重写系统有限性问题现有结论总结 | 第31-34页 |
| 3.3 相关技术路线和引理 | 第34-38页 |
| 第四章 完全正规化 PA 有限性的充要条件 | 第38-50页 |
| 4.1 进程代数 PA | 第38-39页 |
| 4.2 进程状态的增长 | 第39-40页 |
| 4.3 转换关系树 | 第40-44页 |
| 4.4 等价条件证明 | 第44-50页 |
| 第五章 完全正规化 PA 有限性的判定算法 | 第50-56页 |
| 5.1 增长变量判定算法 | 第50-52页 |
| 5.2 时间复杂度分析 | 第52-56页 |
| 第六章 后续问题研究讨论 | 第56-64页 |
| 6.1 正规化 BPP 的？_(REG) 问题 | 第56-59页 |
| 6.2 完全正规化 PN 的≈_(REG)和？_(REG) 问题 | 第59-61页 |
| 6.3 进程重写系统有限性问题的下界 | 第61-64页 |
| 全文总结 | 第64-66页 |
| 参考文献 | 第66-72页 |
| 致谢 | 第72-74页 |
| 攻读学位期间发表的学术论文目录 | 第74-76页 |
| 攻读学位期间参与的项目 | 第76页 |