Sintaxis y Semántica. Un repaso

Tamaño: px

Comenzar la demostración a partir de la página:

Download "Sintaxis y Semántica. Un repaso"

1 Sintaxis y Semántica Un repaso

2 Definición: Alfabeto Un conjunto finito de símbolos: {a,b,c,d} {0,1,2,34,5,6,7,8,9} {identificador, número, +,-,*, /} {while, if, {, }, >, >=, <, <= } { TipoTransacción, IdSucursal, NumCuenta,Cantidad}

3 Definición: cadena o palabra S.Takahashi de un alfabeto Secuencia finita de símbolos de un alfabeto: {id, num, +,-,*, /,(,)} id * (id + id*num num) id * (id + id*num id id num( )

4 Definición: Lenguaje Conjunto de cadenas de un alfabeto.

5 Sintaxis Forma correcta de escribir programas Formalismo para describir la forma de los programes bien escritos Gramáticas - reglas que describen cómo construir todas las palabras en un lenguaje dado Ejemplos

6 Semántica Significado de las estructuras semánticas del programa Describe el comportamiento de los programas Describe cómo debe traducirse al lenguaje de máquina

7 Fases en el proceso de S.Takahashi análisis de lenguajes caracteres tokens respuesta Lexer Parser

8 while (i<=5) x = x+i ; < + 5while ( ) xi = Lexer WHILE Cerrar_P ABRIR_P ID("x") INT(5) ID("i") PLUS ID( i ) LTE PYC EQ

9 while (i<5) x = x+i 55 temp * * + 55 tmp while ( < 5) = xi Lexer WHILE e ID( temp ) star INT(55) Cerrar_P ID("i") ABRIR_P ID("x") INT(5) PLUS ID( i ) LT EQ

10 Gramáticas: formalismo para definir sintaxis Define la forma que deben tener los las cadenas que pertenecen a un lenguaje Generalmente se usan para determinar si un programa es correcto sintácticamente También pueden usarse para la reingeniería reversa y para la reestructuración

11 Ejemplo: Cómo se define una S.Takahashi clase en JAVA Una clase es la palabra distinguida class seguida de un nombre seguida de { seguida de la definición de la clase seguida de } La definición de la clase es una secuencia de definiciones de métodos y atributos La definición de...

12 Un ejemplo más fácil Una expresión aritmética entera Un número o una constante entera Si A y B son expresiones aritméticas las siguientes también son expresiones aritméticas A + B A * B A -B A / B A % B (A) -A

13 Definición 1: Gramática Independiente del contexto Una gramática es una 4-tupla (N,T,S,P) donde: N es un conjunto de símbolos no-terminales, T es un conjunto de símbolos terminales, S es un símbolo no-terminal denominado símbolo distinguido (S N) P es un conjunto de producciones.

14 Producciones Una producción es una regla con el formato A donde A N y (N T)*.

15 Definición 3: Derivable en 1 S.Takahashi paso Dada una gramática independiente del contexto con (A ) una producción. La producción indica que si tenemos una cadena de la forma A, podemos obtener, reemplazando A por. En este caso, se dice que paso de A y escribimos: A. es derivable en un

16 Derivable Dadas dos cadenas 0 y n, decimos que n es derivable (en cero o más pasos) de 0, y escribimos 0 * n si se puede llegar de 0 a n, por sucesivos reemplazos usando reglas de producción.

17 Lenguaje generado Dada una gramática independiente del contexto G=(N,T,S,P), el lenguaje generado por la gramática es el conjunto de todas las cadenas derivables a partir de S L(G) = { : T*, S * }

18 El ejemplo G =({E,T,F,S}, {num,id,+,(,),-}, E, P) P: E E + T E T T T*F T F F S F - S S ( E ) S i d S num

19 Ejemplo 35 + (10+30*4) E E + T E + ( E + num(30) * num(4) ) E + F E + ( E ) E + ( E + T ) E + ( E + T * F ) E + ( E + T * num(4) ) E + ( E + F * num(4) ) E + ( T + num(30) * num(4) ) E + ( F + num(30) * num(4) ) E + ( num(10) + num(30) * num(4) ) T + ( num(10) + num(30) * num(4) ) F + ( num(10) + num(30) * num(4) ) num(35) + ( num(10) + num(30) * num(4) )

20 El problema del análisis de S.Takahashi lenguajes Definir la sintaxis: Cuáles son los elementos sintácticos (Tokens) Cómo están construidos los elementos del lenguaje a partir de los tokens: (la gramática) Definir la semántica:

21 Procesamiento orientado por S.Takahashi gramáticas Se define la gramática Se definen acciones que se deben realizar al ir reconociendo los elementos del lenguaje

22 Otros Formalismos Expresiones Regulares BNF

23 Expresiones regulares Ejemplos ab* (ab)* (a b)b* ( )( )* la cadena vacía :

24 Extendiendo el formalismo ["a"-"z ] por lo menos una repetición ["a"-"z ]+ cero o una repetición: ER? Por ejemplo un número con o sin signo: ( - + )?[ 0-9 ]+

25 BNF: Una extensión de las gramáticas independientes del contexto Sólo se escriben las reglas de producción Debe haber forma de distinguir terminales de no-terminales. (distinto font) En lugar de la flecha se escribe ::=

26 BNF- Permite denotar repeticiones {patrón} Permite denotar partes opcionales [patrón] Permite denotar alternativas [patrón1 patrón2]

27 El ejemplo E T {+ T} T F {* F} T S [-] S ( E ) i d num

28 Generadores de Compiladores Generadores de analizadores léxicos Generadores de analizadores sintácticos

29 JavaCC Genera el lexer Genera el parser Permite construir una herramienta de análisis de lenguajes fácilmente

30 Qué hace javacc? Transform.jj JAVACC Transform.java TransformTokenManager.java TokenMgrError.java ParseException.java Token.java ASCII_CharStream.java TransformConstants.java

31 JavaCC Transform.java TransformTokenManager.java TokenMgrError.java ParseException.java Token.java ASCII_CharStream.java TransformConstants.java javac Transform.class

32 JavaCC Archivo de Entrada Java Transform Archivo(s) Resultantes

Documentos relacionados

LENGUAJES Y GRAMÁTICAS

LENGUAJES Y GRAMÁTICAS Orlando Arboleda Molina Escuela de Ingeniería de Sistemas y Computación de La Universidad del Valle 20 de septiembre de 2008 Contenido Lenguajes y Gramáticas Gramáticas Gramáticas