中文摘要 | 第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页 |