| 摘要 | 第1-5页 |
| Abstract | 第5-10页 |
| 第一章 绪论 | 第10-12页 |
| ·课题研究背景及意义 | 第10-11页 |
| ·课题研究目的 | 第11页 |
| ·论文主要研究内容及结构 | 第11-12页 |
| 第二章 航班计划编排及其基本规则 | 第12-14页 |
| ·航班计划编排 | 第12页 |
| ·航班计划编排基本规则 | 第12-14页 |
| 第三章 航班计划句法检查 | 第14-40页 |
| ·句法检查技术 | 第14-15页 |
| ·词法分析 | 第14-15页 |
| ·语法分析 | 第15页 |
| ·使用词法分析检查航班计划基本要素 | 第15-24页 |
| ·字符串预处理 | 第16页 |
| ·正规式和不确定有限自动机 | 第16-24页 |
| ·使用语法分析检查航班计划编排要求 | 第24-32页 |
| ·航班计划文法编写 | 第25-26页 |
| ·语法分析树 | 第26-27页 |
| ·采用LR 语法分析器归约 | 第27-32页 |
| ·构造符号表 | 第32-38页 |
| ·检出错误的校正 | 第38-40页 |
| ·词法错误的校正 | 第38-39页 |
| ·自底向上分析中的错误纠正 | 第39-40页 |
| 第四章 航班计划规则检查技术在FORMAX 系统中的应用 | 第40-49页 |
| ·“航班计划规则检查”子系统需求分析 | 第40-41页 |
| ·“航班计划规则检查”子系统设计 | 第41-49页 |
| ·数据设计 | 第41-43页 |
| ·数据库连接设计 | 第43-44页 |
| ·流程设计 | 第44-45页 |
| ·客户端程序设计 | 第45-49页 |
| 第五章 总结与展望 | 第49-50页 |
| 致谢 | 第50-51页 |
| 在校期间学术成果 | 第51-52页 |
| 参考文献 | 第52-53页 |