Notación BNF

Notación BNF

Un lenguaje de programación sigue unas reglas gramaticales como las de cualquier otro idioma, aunque más estrictas. Para la definición formal, -que cumple unos requisitos preestablecidos- de dichas reglas sintácticas utilizaremos la notación BNF (Usando la notación BNF podernos representar de manera precisa las reglas para escribir estos valores: 
Valor_entero :: = [ + I - ] Secuencia_ dígitos

Secuencia_ dígitos :: = Díqito { Dígito } 

Dígito ::= O | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 8 | 9

Form: basada en la descripción de cada elemento gramatical en función de otros Elementos mas básicos y sencillos, según determinados esquemas o construcciones. Cada uno de estos esquemas se define mediante una regla de producción. 

Estas reglas sobre cómo han de escribirse los elementos del lenguaje en forma de símbolos utilizan a su vez otros símbolos, que se denominan metasímbolos. .

Son los siguientes: 

: : = Metasímbolo de definición. Indica que el elemento a su izquierda puede desarrollarse según el esquema de la derecha. 

| Metasímbolo de alternativa. Indica que puede elegirse uno y sólo uno de los elementos separados por este metasímbolo. 

{ } Metasímbolos de repetición. Indican que los elementos incluidos dentro de ellos se pueden repetir cero o más veces. 

[ ] Metasímbolos de opción. Indican que los elementos incluidos dentro de ellos pueden ser utilizados o no. 

( ) Metasímbolos de agrupación. Agrupan los elementos incluidos en su interior. 

Estos metasímbolos se escriben con el tipo de letra especial indicado para distinguirlos de los paréntesis, corchetes, etc. que forman parte del lenguaje C±. 

También se emplearán distintos estilos de letra para distinguir los elementos simbólicos siguientes: 

Elemento no terminal: Este estilo se emplea para escribir el nombre de cualquier elemento a la izquierda del metasÍmbolo :: = será no terminal y aparecerá con este estilo. 

Elemento terminal: Este estilo se emplea para representar los elementos que forman parte del lenguaje C±, es decir, que constituyen el texto de un programa. Si aparecen en una regla deberán escribirse exactamente como se indica.

Usando la notación BNF podernos representar de manera precisa las reglas para escribir estos valores: 

Valor_entero :: = [ + I - ] Secuencia_ dígitos 

Secuencia_ dígitos:: = Díqito { Dígito } 

Dígito ::= O | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 8 | 9

Valores reales válidos en notación científica: 

-23.2E+12

14567 .823E4 

126 E-34 

equivalente a -23.2x1012 

equivalente a 14567.823x 104 

equivalente a 126xE-34 

Sin embargo, no son valores reales válidos los siguientes: 

4,78 

56.7F-56 

No se pueden usar comas 

No se puede usar la letra F 

A diferencia de los valores enteros, un mismo valor real puede tener muy diversas representaciones válidas. Por ejemplo, todas las representaciones siguientes corresponden al mismo valor: 

45.6 

456.E-1

4.56E+l 

45.60E+O 

456000.00E-4 

Las reglas anteriores, expresadas en notación BNF son: 

Valor_real:: = Valor_ entero . [ Secuencia_ dígitos ] 

[ Escala ]

Escala :: = E + Valor_entero