CAJ | 학술논문

作战命令是我军实施指挥和部队遂行作战任务的基本依据，也是联系指控系统、仿真系统与无人作战平台的重要桥梁。为了实现系统之间对作战命令的无歧义理解，论文运用一种改进的巴科斯范式方法对作战命令进行了形式化描述。同时，论文提出了一种基于与／或树的语法检验算法，以保证作战命令形式化语法的正确性与合法性。
작전명령시아군실시지휘화부대수행작전임무적기본의거，야시련계지공계통、방진계통여무인작전평태적중요교량。위료실현계통지간대작전명령적무기의리해，논문운용일충개진적파과사범식방법대작전명령진행료형식화묘술。동시，논문제출료일충기우여／혹수적어법검험산법，이보증작전명령형식화어법적정학성여합법성。
Operational orders are the basis of conducting combat tasks in the army ,as well as the important connection between of command and control systems ,simulation systems and unmanned platforms .In order to make the orders under‐standable by these systems ,the orders are formally described with an improved backus‐naur form(IBNF) .And for the accu‐racy and validity of the described orders ,an and/or tree‐based grammar validation algorithm is put forward .