Backus-Naur Form

0 Notación de Backus-Naur

Es la forma más conocida de representación sintáctica de un metalenguaje. Fué desarrollada para representar la gramática del Algol 60 por John Backus (Estados Unidos) y Peter Naur (Dinamarca). Una gramática BNF consta de reglas de producción, que definen las categorías sintácticas o variables metalingüísticas en los terminos de otras categorías, y de símbolos terminales.
Una variable metalingüística (metavariable) es aquella cuyos valores son cadenas de caracteres o símbolos escogidos entre los permitidos por el lenguaje. Una metavariable se representa encerrada entre los símbolos "<" y ">", para distinguirla de los símbolos terminales, los propios del lenguaje.
El símbolo "::=" indica una equivalencia metalingüística.
El símbolo "|" se emplea para indicar la selección de uno entre varios elementos.
La concatenación está expresada por la proximidad de los elementos.
Por ejemplo, la definición de dígito es de la forma:

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

Para definir un entero sin signo, se hará como:

<entero-sin-signo> ::= <dígito> | <entero-sin-signo> <dígito>

1996-11-17

Notación BNF

Algol
Algol
Backus, John Warner
Estados Unidos, 1924 - 2007
metalanguage
metalenguaje
Naur, Peter
Dinamarca, 1928 -

1924 diciembre 3: Nace John Warner Backus, en Philadelphia, Pennsylvania, USA
1959: John Warner Backus desarrolla el sistema de notación BNF para describir la sintaxis de los lenguajes de alto nivel.
1959: Peter Naur, como Secretario del Comité del ALGOL 60, modifica el metalenguaje desarrollado por John Backus, conociendose desde entonces como «Backus-Naur Form».
2007 marzo 17: Muere John Warner Backus, en Oregon, USA