| 中文摘要 | 第1-5页 |
| 英文摘要 | 第5-8页 |
| 第一章 引言 | 第8-14页 |
| ·可计算性理论及其构造方法的发展 | 第8-10页 |
| ·问题的提出及本文的工作 | 第10-14页 |
| 第二章 PC与NB关系研究 | 第14-31页 |
| ·需求 | 第15页 |
| ·策略 | 第15-21页 |
| ·条件(1)的满足 | 第15-16页 |
| ·P-，Q-策略 | 第16页 |
| ·M-策略 | 第16-18页 |
| ·R-策略 | 第18-19页 |
| ·满足(R_e-，S_(e,i)-)策略 | 第19-21页 |
| ·优先树 | 第21-24页 |
| ·构造 | 第24-31页 |
| ·参数 | 第24页 |
| ·使用函数规则 | 第24-25页 |
| ·初始化 | 第25页 |
| ·延伸步定义 | 第25-26页 |
| ·自动动作 | 第26页 |
| ·构造 | 第26-31页 |
| 第三章 构造正确性验 | 第31-42页 |
| 第四章 结论 | 第42-43页 |
| 参考文献 | 第43-45页 |
| 发表文章目录 | 第45-46页 |
| 致谢 | 第46页 |