A Formal Grammar and Grammar Validation Algorithm of Unmanned Platforms’ Operational Orders
BAO Guangyu
WU Yaning
Abstract：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 .
Keywords：operational ordersformal descriptionand/or treegrammar validation
Publication Date：2015-01-01
Online Publishing Date：2025-08-15(First online date of this platform, not the publication date of the document)
Pages：5( 30-34 )