Notación BNF

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: ::= | | | ::= 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 ::= 0 | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 8 | 9 ::= #TRUE# | #FALSE# ::= | | | |

::= | | | ::= + | - | * | / | // | ** | ^ ::= < | = | > | ~= ::= #EQUIV# | #IMPL# | #and# | #OR# | ~ ::= #GO TO# | #IF# | #THEN# | #ELSE# | #FOR# | #DO# ::= # | , | . | : | ; | := | #UNTIL# | #WHILE# | #COMMENT# | #CODE# ::= ) | ( | ] | [ | #(# | #)# | #BEGIN# | #END#