Notación BNF (Backus-Naur Form)

Notación BNF (Backus-Naur Form).
La notación BNF suele usarse para describir sintácticamente lenguajes de programación. Se remonta al año 60, en que John Backus la usó para describir el lenguajeAlgol. De hecho, es el acrónimo de Backus Naur Form, en homenaje a la destacada contribución de Backus (coordinador del grupo que desarrolló el lenguaje FORTRAN), y de Peter Naur (coordinador del grupoque desarrolló el lenguaje Algol) al diseño de lenguajes de programación.
La definición formal de la sintaxis de un lenguaje de programación se conoce comúnmente como gramática. Una gramática secompone de un conjunto de reglas (producciones) que definen las palabras (elementos léxicos) y unidades sintácticas. Una gramática formal es una que usa una notación definida (o metalenguaje) de maneraestricta.
Un lenguaje de programación, al igual que los lenguajes humanos, debe seguir unas reglas sintácticas necesarias para construir instrucciones u ordenes correctas en su estructura. Para ladefinición de dichas reglas utilizaremos la notación BNF que se basa en la descripción de cada elemento gramatical en función de otros más simples a partir de precisos esquemas definidos a partir de susreglas de producción correspondientes. La representación de las reglas se hace por medio de la untilización de símbolos que a su vez utilizan otros símbolos previos denominados metasímbolos.
Dichosmetasímbolos son los siguientes:
::= de definición (el esquema de la derecha desarrolla al elemento de la izquierda).
| de alternativa (se puede elegir únicamente uno de los elementos quesepara).
[] de opción (los elementos que incluyen pueden utilizarse o no).
() de agrupación (sirven para agrupar los elementos que incluyen).
{} de repetición (los elementos que incluyen puedenrepetirse cero o más veces).
* cero o más repeticiones del elemento anterior.
+ una o más repeticiones del elemento anterior.
Además de esto, y para diferenciar los elementos simbólicos incluídos en...