Metalenguaje

METALENGUAJES
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 el españ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 de un mismo lenguaje objeto. Son lenguajes como XML, SGML y HTML que sirven para definir otros lenguajes, cuyo objetivo es llevar a cabo la estructuración de textos mediante un conjunto de etiquetas, de manera tal, que puedan ser entendidos por los humanos y también procesados por los ordenadores.
El uso demetalenguajes
En multitud de ocasiones utilizamos este recurso con el que, si no se es consciente, se pueden cometer errores de interpretación.
Ya en la gramática se distingue entre uso y mención.
Bisílaba, es toda aquella palabra que tiene dos sílabas.
Pero 'bisílaba'[3] no es bisílaba. Donde 'bisílaba' se refiere a la palabra en sí, no a su significado objeto es decir a una palabrabisílaba.
Todo lenguaje tiene un objeto al que se dirige o refiere. Es el “lenguaje-objeto”.
Todo lenguaje que tenga por objeto un lenguaje es un “metalenguaje”, que a su vez puede ser lenguaje objeto de otro metalenguaje de orden superior, y así sucesivamente.
Consideremos las diferentes referencias de la frase siguiente: "Antonio dice que Luis dijo que María Luisa dijo que......"
"Antonio dijo queayer fue al cine". Observemos que tal afirmación no nos da información acerca de si Antonio fue o no fue ayer al cine.
No tener en cuenta esa distinción que habla de la realidad del hecho: "Antonio dijo" y el lenguaje (metalenguaje) acerca de lo que dijo Antonio: "que ayer fue al cine" se presta a confusiones interpretativas.
BNF
Es un metalenguaje para definir sintaxis. La notación deBackus-Naur, también conocida por sus denominaciones inglesas Backus-Naur form (BNF), Backus-Naur formalism o Backus normal form, es una metasintaxis usada para expresar gramáticas libres de contexto: es decir, una manera formal de describir lenguajes formales.
El BNF se utiliza extensamente como notación para las gramáticas de los lenguajes de programación de la computadora, de los sistemas de comandoy de los protocolos de comunicación, así como una notación para representar partes de las gramáticas de la lengua natural. La mayoría de los libros de textos para la teoría o la semántica del lenguaje de programación documentan el lenguaje de programación en BNF.
La notación BNF es realmente un meta-lenguaje, porque se le usa para describir otro lenguaje (normalmente, un lenguaje de programacióntal como ALGOL, Pascal, C, etc.).
En términos llanos, la notación BNF es una nomenclatura que nos permite efectuar una descripción compacta y precisa de los constructores sintácticos usando ciertos símbolos y reglas. BNF (Backus-Naur-Form) Notación desarrollada por los especialistas Backus y Naur para definir lenguaje Algol60

COMPONENTES DEL BNF
* La barra disyuntiva '|': unifica en una,dos reglas con el mismo símbolo No terminal a la izquierda del igual. Las reglas A = aA y A = bB, se van a convertir en la regla A = aA | bB.
* El paréntesis de opcionalidad '(...)': dos reglas iguales, salvo una expresión inserta, equivalen a la mayor de ellas con la expresión inserta entre paréntesis. Las reglas A = aB y A = a se convierten en A = a(B).
* El signo más de recursividad'+': adjunto a una expresión, equivale a las reglas A = ...A y A = A... Por ejemplo: A = aA y A = a se transformará en A = a+.
* El asterisco '*': equivale a una expresión con más y entre paréntesis. Así, A* es lo mismo que (A+).
* Los corchetes '[]': para alterar la prioridad en la interpretación de los metasímbolos. Como '+' y '*' tienen más prioridad que la barra '|', son expresiones...