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 .%作战命令是我军实施指挥和部队遂行作战任务的基本依据，也是联系指控系统、仿真系统与无人作战平台的重要桥梁。为了实现系统之间对作战命令的无歧义理解，论文运用一种改进的巴科斯范式方法对作战命令进行了形式化描述。同时，论文提出了一种基于与／或树的语法检验算法，以保证作战命令形式化语法的正确性与合法性。
展开▼
