Back صيغة باكوس نور Arabic Bekus-Naur forması Azerbaijani Forma de Backus i Naur Catalan Backusova–Naurova forma Czech Backus-Naur form Danish Backus-Naur-Form German Μορφή Μπάκους-Νάουρ Greek Backus–Naur form English Formo de Backus–Naur Esperanto Notación de Backus-Naur Spanish
Nota: "FNB" redireciona para este artigo. Para o movimento político, veja Frente Negra Brasileira. |
O Formalismo de Backus-Naur (BNF, do inglês Backus-Naur Form ou Backus Normal Form) é uma metassintaxe usada para expressar gramáticas livres de contexto, isto é, um modo formal de descrever linguagens formais.
O BNF é amplamente usada como uma notação para as gramáticas de linguagens de programação, conjuntos de instruções e protocolos de comunicação, e também como notação para representar partes de gramáticas de linguagens naturais. A maioria dos livros-texto para teoria de linguagem de programação e/ou semântica documenta a linguagem de programação em BNF.
Há também variantes como a forma aumentada de Backus-Naur (FABN) baseada na BNF, mas que consiste em uma sintaxe e regras de derivações próprias. O princípio norteador desta metalinguagem é descrever um sistema formal de uma linguagem que é um protocolo (especificação bidirecional).[1]