Backus-Naur form, forma de Backus-Naur
Uma metalinguagem usada para a definição da sintaxe de linguagens formais, tanto para o desenvolvedor da linguagem quanto para o usuário. Uma linguagem é difundia por um conjunto de instruções, em cada uma das quais um elemento da linguagem conhecido como uma metavariável, escrita entre os sinais "<" e ">", é definida em termos de símbolos reais (chamados terminais) e outras metavariáveis, incluindo (se necessário) elas próprias. Segue-se a sintaxe de um número na forma Backus-Naur. O símbolo "::=" significa "é definido como" e o símbolo "|" separa alternativas. Acrônimo: BNF. Ver também metalanguage (metalinguagem); normal form (forma normal – definição 2).