Forma Backus-Naur
Conceptos
Sintaxis: La sintaxis son las reglas que definen una combinacion de simbolos que forman parte de expresiones o declaraciones correctamente estructuradas en ese lenguaje Lenguaje Formal: En la logica y matematica un lenguaje formal es consiste de palabras cuyas letras son tomadas de un alfabeto y se conforman de acuerdo a un set especifico de reglas llamadas gramatica formal Metasintaxis: Es la sintaxis usada para definir una sintaxis Gramatica libre de contexto: En lenguajes formales una gramatica libre de contexto es una gramatica cuyas reglas de produccion pueden ser aplicadas a simbolos no no-terminales sin importar su contexto.
Forma Backus-Naur
La forma Backus Naur (BNF) es una notacion para describir la sintaxis de algunos lenguajes formales, fue desarrollada por Jhon Backus Y Peter Naur. BNF puede ser descrita como una notacion de metasintaxis para gramaticas libre de contexto. BNF es usado cuando descripciones exactas de lenguajes son necesarias, como en la especificacion de un lenguaje oficial, en manuales, etc. Incluso para describir formatos de documentos, sets de instrucciones y protocolos de comunicacion.
Los BNF describen como combinar diferentes simbolos para producir sequencias sintacticamente correctas. Los BNFs consistes de 3 componentes. Los simbolos terminales, los no-terminales y las reglas para reemplazar los simbolos no-terminales con una sequencia de simbolos. Las reglas de derivacion se escriben de la siguiente manera:
<symbol> ::= __expression__