Jessica Guzmán Estrada 600 Cibernética

Notación BNF (Backus Naur-Form)

La notación BNF es un metalenguaje, esto se dice porque se le usa para describir otro

lenguaje, es una nomenclatura que nos permite una descripción compacta y precisa de los

constructores sintácticos usando ciertos símbolos y reglas.

Los meta símbolos BNF son:

 ::= de definición (el esquema de la derecha desarrolla el elemento de la izquierda)

 | de alternativa (se puede elegir únicamente uno de los elementos que separa)
 {} de repetición (los elementos que incluyen, pueden repetirse cero o más veces)
 [] de opción (los elementos que incluyen pueden utilizarse o no)

 () de agrupación (sirven para agrupar los elementos que incluyen)

También para diferenciar los elementos simbólicos incluídos en las reglas, se emplearán

distintos estilos de letra para diferenciar los siguientes elementos:

 Elemento_no_terminal Son elementos que habrán de ser definidos por alguna

regla, se encuentran entre <>.
 Elemento_terminal Se emplea para representar los elementos que forman

parte del lenguaje, lo usamos entre los siguientes símbolos ‘’.

Algunos ejemplos de esta notación:

<simbolo_basico>::= <letras> | <dígitos> | <valor_booleano> | <delimitador>

<letras> ::= A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | P | Q | R | S | T | U | Y

|W|X|Y|Z

<dígitos> ::= 0 | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 8 | 9

<valor_booleano> ::= #TRUE# | #FALSE#

<delimitador> ::= <operador> | <separador> | <bracket> | <declarador> | <especificador >

<operadores> ::= <operador_aritmetico> | <operador_relacional> | <operador_logico > |

<operador_secuencial>

<operador_aritmetico> ::= + | - | * | / | // | ** | ^

<operador_relacional> ::= < | = | > | ~=

<operador_logico> ::= #EQUIV# | #IMPL# | #and# | #OR# | ~

<operador_secuencial> ::= #GO TO# | #IF# | #THEN# | #ELSE# | #FOR# | #DO#

<separador> ::= # | , | . | : | ; | := | #UNTIL# | #WHILE# | #COMMENT# | #CODE#

<bracket> ::= ) | ( | ] | [ | #(# | #)# | #BEGIN# | #END#