| 第一章 引言 | 第1-9页 |
| ·研究背景 | 第6-8页 |
| ·形式化方法的概念及其存在问题 | 第6页 |
| ·PAR方法软件开发方法 | 第6-7页 |
| ·算法规约 | 第7-8页 |
| ·本文的研究目的和内容 | 第8-9页 |
| 第二章 自然语言处理 | 第9-13页 |
| ·自然语言处理的概念 | 第9页 |
| ·自然语言处理的研究方法 | 第9-10页 |
| ·关于自然语言处理技术的发展策略 | 第10-11页 |
| ·建立大规模的综合型语言知识库 | 第10页 |
| ·探索适合自然语言处理的计算模型 | 第10-11页 |
| ·重视应用研究 | 第11页 |
| ·自然语言的语料库 | 第11页 |
| ·受限自然语言研究 | 第11-13页 |
| 第三章 RADL算法规约语言介绍 | 第13-19页 |
| ·RADL算法规约语言的结构 | 第13-16页 |
| ·RADL算法规约语言的总体结构 | 第13页 |
| ·RADL算法规约语言中的数据说明 | 第13-14页 |
| ·算法规约的断言 | 第14-15页 |
| ·用RADL语言描述的算法规约实例 | 第15-16页 |
| ·算法规约的变换技术 | 第16-19页 |
| 第四章 结构化自然语言 | 第19-33页 |
| ·SNL语言的语法单位 | 第19-26页 |
| ·SNL语言的保留字和用户自定义标识符 | 第19页 |
| ·SNL语言的数据类型和变量说明 | 第19-22页 |
| ·SNL语言中的表达式 | 第22-24页 |
| ·SNL语言中的量词表示方法 | 第24-26页 |
| ·SNL语言的谓词式 | 第26页 |
| ·SNL语言的语法结构 | 第26-31页 |
| ·SNL语言的一般形式 | 第26-27页 |
| ·SNL语言的定义形式 | 第27-29页 |
| ·SNL语言的语法结构 | 第29-30页 |
| ·使用SNL语言来描述算法规约实例 | 第30-31页 |
| ·SNL语言的相关语料库 | 第31-33页 |
| ·常用算法语料库 | 第31-32页 |
| ·自然语言-算法规约双语语料库 | 第32-33页 |
| 第五章 转换系统的设计与实现 | 第33-49页 |
| ·翻译程序的设计 | 第33-35页 |
| ·翻译程序的总体结构 | 第33-34页 |
| ·翻译程序的总体设计 | 第34-35页 |
| ·翻译程序的词法分析 | 第35-37页 |
| ·词法分析程序的实现思想 | 第35-36页 |
| ·词法分析程序设计 | 第36-37页 |
| ·翻译程序的语法和语义分析 | 第37-43页 |
| ·语法和语义分析实现原理 | 第37-40页 |
| ·语法和语义分析设计 | 第40-43页 |
| ·翻译程序的表格管理设计 | 第43页 |
| ·翻译程序的出错处理设计 | 第43-44页 |
| ·转换系统的用户界面设计 | 第44-46页 |
| ·转换系统主程序 | 第46-47页 |
| ·SNL语言算法规约到RADL语言算法规约的转换实例 | 第47-49页 |
| 第六章 结束语 | 第49-50页 |
| 参考文献 | 第50-51页 |