Metalenguaje BNF

Metalenguaje BNF
Paradigmas y Lenguajes de Programación.

Backus-Naur Form
La notación de Backus-Naur es un metalenguaje usado para expresar
gramáticas libres de contexto: es decir, una maneraformal de describir
lenguajes formales.
Creado por John Warner Backus (1927-2007) para describir la gramática de
ALGOL.
La gramática BNF tiene similitud con las reglas gramaticales del idiomaSánscrito descriptas por Panini, por lo cual la notación suele ser referida como
Panini-Backus Form.

Metalenguaje
- Un metalenguaje es un lenguaje que se usa para hablar acerca de otro
lenguaje.
-Al lenguaje acerca del cual se está hablando se lo llama el lenguaje objeto.
- El metalenguaje puede ser idéntico al lenguaje objeto, por ejemplo cuando se
habla acerca del español usando elespañol mismo.
- Un metalenguaje a la vez puede ser el lenguaje objeto de otro metalenguaje
de orden superior, y así sucesivamente.
- Distintos metalenguajes pueden hablar acerca de diferentes aspectos deun
mismo lenguaje objeto.

Un metalenguaje es una gramática formal
destinada a la descripción de un lenguaje

Gramática libre de contexto
Las gramáticas libres de contexto permiten describirla mayoría de los
lenguajes de programación.
Puede ser definida mediante la 4-tupla:
G=(V_t, V_n, P, S) donde:
* V_t es un conjunto finito de terminales
* V_n es un conjunto finito de noterminales
* P es un conjunto finito de producciones
* S ∈ V_n
* los elementos de P son de la forma
V_n --> (V_t U V_n)*

Lenguaje formal
Un lenguaje formal es un lenguaje cuyos símbolos
primitivos yreglas para unir esos símbolos están
formalmente especificados.
Al conjunto de los símbolos primitivos se le llama el
alfabeto (o vocabulario) del lenguaje, y al conjunto de las
reglas se lollama la gramática formal (o sintaxis).

Definición de BNF
Una especificación BNF consiste de un conjunto de reglas de producción
escritas como:
::= >expresión>
donde
es un símbolo no...