Programacion lexico semantica

Solo disponible en BuenasTareas
  • Páginas : 10 (2273 palabras )
  • Descarga(s) : 0
  • Publicado : 3 de junio de 2011
Leer documento completo
Vista previa del texto
7. DESCRIPCION FORMAL DE LENGUAJES
7.1. Léxico, Sintaxis, Semántica.
Un programa es una secuencia de símbolos y puede considerarse como un texto.
Los símbolos de un lenguaje pertenecen a un conjunto que se denomina vocabulario o
léxico. Los símbolos también se denominan elementos léxicos o tokens. Léxico significa
diccionario; y aplicado en el ambiente de lenguajes de programación se utilizapara denotar los
símbolos del lenguaje. Estos símbolos, a su vez, están formados por secuencias de
caracteres; y existen reglas que determinan cómo puede generarse o producirse un símbolo a
partir de caracteres.
Cada lenguaje de programación define reglas que permiten componer el texto de un
programa como una secuencia de símbolos. El conjunto de estas reglas se denomina
gramática, o másusualmente, la sintaxis del lenguaje. Sintaxis significa con orden. Cada regla
establece una clase definida de objetos o categorías sintácticas; como ejemplos pueden darse
algunas partes típicas de un programa: acciones, declaraciones, condiciones, expresiones, etc.
Asociado a cada palabra (símbolo) y a cada frase (categoría sintáctica) debe existir un
significado. Que se traduce en valores delos objetos (constantes y variables) de acuerdo a
sus tipos; o en nombres de objetos o grupos de acciones; o en la especificación de las
operaciones que deben efectuarse sobre esos objetos. Todas las reglas que aportan esta
información se denominan: Semántica del lenguaje.
Si bien las reglas para construir símbolos y frases son finitas, el conjunto de programas es
infinito.
Para describir conrigurosidad los lenguajes de programación se emplea una notación formal
que se denomina Metalenguaje.
El formulismo más conocido, y que emplearemos en la descripción, es el Formalismo
Extendido Backus-Nauer. (BNF, Backus Nauer Formalism).
Básicamente consiste en describir una frase, (categoría sintáctica) o parte abstracta de un
programa, mediante la secuencia de componentes, de menorcategoría, que pueden
reemplazar dicha frase. Las reglas deben especificar hasta llegar al reemplazo por los símbolos
que componen el diccionario.
UNIVERSIDAD TECNICA FEDERICO SANTA MARIA
DEPARTAMENTO DE ELECTRONICA
Programación en Pascal
Capítulo 7. Descripción Formal de Lenguajes.
Prof. Leopoldo Silva Bijit. 07-07-2003 69
En este ambiente, los elementos léxicos del lenguaje se denominansímbolos terminales. Las
componentes estructurales del lenguaje que serán reemplazadas, se denominan símbolos no
terminales. La regla que establece el reemplazo de un símbolo no terminal por una secuencia
de símbolos terminales y no terminales se denomina producción.
Las reglas deben permitir verificar, con facilidad, si una secuencia de símbolos es o no una
sentencia correcta del lenguaje.
Unprogramador debe conocer cómo generar secuencias de símbolos terminales que
cumplen la gramática.
7.2. Metalenguaje BNF.
7.2.1. Producción.
Existe sólo una acción primitiva, es la producción. Es una ecuación sintáctica que permite
definir una categoría sintáctica, S; mediante una expresión E.
En símbolos:
::=
Gráficamente:
Los paréntesis de ángulo, delimitan los símbolos no terminales. Enel gráfico esto se
representa por un rectángulo.
La secuencia ::= , es el metasímbolo para la producción. Y se lee: puede ser reemplazado
por.
Una producción puede considerarse la instancia de definición de S en términos de E.
Lo usual es que S corresponda a una parte o concepto del lenguaje. Por ejemplo: acciones,
condición, tipos, etc.
S E
UNIVERSIDAD TECNICA FEDERICO SANTA MARIADEPARTAMENTO DE ELECTRONICA
Programación en Pascal
Capítulo 7. Descripción Formal de Lenguajes.
Prof. Leopoldo Silva Bijit. 07-07-2003 70
La expresión E, debe especificar una secuencia de símbolos; éstos, a su vez, deben
especificar, en forma precisa, cómo se estructura una parte en términos de sus componentes.
7.2.2. Secuenciación de símbolos.
Los lenguajes estructurados suelen disponer tres...
tracking img