本文以航班优化与航线经济效益分析系统(FORMAX)为应用背景,对航班计划编排正确性保障技术中的句法编译技术进行讨论。重点分析研究了基于有限自动机的航班计划句法编译技术,并采用多线程技术,提高了航班计划编排规则自动检测的执行效率。随着航空公司航班计划规模的不断扩大,航班计划的正确性和完整性难以得到保障。为了提高航班计划正确性和完整性的自动检查和分析能力,以保证航班计划编排后继工作的顺利进行。本文对航班计划编排的特点和有限自动机理论进行了分析和研究,给出了航班计划编排的基本规则。在此基础上,重点研究了基于有限自动机的航班计划句法编译技术,设计了航班计划的有限自动机,进行了航班计划句法编译中的词法分析、语法分析,并进行了例证分析,验证了运用有限自动机进行航班计划句法编译的可行性,同时采用了多线程技术,提高了系统的处理速度,增强了航班计划正确性和完整性检查的自动化程度,改善了程序的质量。论文最后对航班计划规则检查的实现技术进行了论述,并对实现效果进行了评价。