Backus-Naur Form
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>
- AlgolAlgol
- Backus, John WarnerEstados Unidos, 1924 - 2007
- metalanguagemetalenguaje
- Naur, PeterDinamarca, 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