不确定有限自动机论文

航班计划编排规则的句法检查技术研究
论文摘要随着中国民航的迅速发展,在航班量不断增大的情况下,保证航班计划编排正确性的难度越来越高。因此以航班计划编排规则为依据对航班计划编排结果进行自动检查的方法研究是十分必要的...