Procesadores de lenguaje Ejercicios Análisis semántico

Tamaño: px

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

Download "Procesadores de lenguaje Ejercicios Análisis semántico"

Vicenta Hidalgo Vargas
hace 8 años
Vistas:

1 Procesadores de lenguaje Ejercicios Análisis semántico Departamento de Ciencias de la Computación Universidad de Alcalá

2 Ejercicio 1 (propuesto) A partir de gramática de abajo se pide: Mostrar el árbol sintáctico decorado para la cadena de entrada aaaa Elaborar el grafo de dependencias para la evaluación en el orden correcto de todos los atributos. Indique la salida que produce el análisis de la entrada aaaa S S S AS S A A a printf( %d,s.v); S 0.v = A.v A.x = S 1.v A.x = 0 S.v = A.v A.v = A.x + 1

en el orden correcto de todos los atributos.

3 Ejercicio 2: Binario a decimal Considerar la siguiente gramática que genera números binarios: A AB B B 0 1 Obtener la gramática con atributos que al analizar un número binario calcule su equivalente en decimal. Mostrar el árbol para la cadena de entrada 101

con atributos que al analizar un número binario calcule su

4 Ejercicio 2: Binario a decimal Gramática con atributos: A AB { A 0.val = 2*A 1.val + B.val } A B { A.val = B.val} B 0 { B.val = 0 } B 1 { B.val = 1 }

5 Ejercicio 2: Binario a decimal

6 Ejercicio 3 (propuesto) Considerar la siguiente gramática: num dig num dig dig Añadirle atributos y acciones semánticas para que calcule su valor en decimal

7 Ejercicio 4: octal-decimal Dada la gramática de la página siguiente: Dibujar las gráficas de dependencias para cada regla Dibujar el árbol sintáctico para la expresión 345o Dibujar la gráfica de dependencia para el árbol sintáctico anterior y establecer una clasificación topológica para el mismo Generar el código correspondiente a las reglas semánticas asociadas al análisis de la expresión anterior

de dependencia para el árbol sintáctico anterior y establecer una clasificación topológica para el

8 Ejercicio octal-decimal (semántica) num-base num carbase carbase o carbase d num num dígito num dígito dígito 0... dígito 7 dígito 8 dígito 9 num-base.val = num.val; num.base = carbase.base carbase.base = 8 carbase.base = 10 num 1.val = if dígito.val = error or num 2.val = error then error else num 2.val * num 1.base + dígito.val num 2.base= num 1.base dígito.base = num 1.base num.val = dígito.val dígito.base = num.base dígito.val = 0 dígito.val = 7 dígito.val = if dígito.base == 8 then error else 8 dígito.val = if dígito.base == 8 then error else 9

val = error or num 2.val = error then error else num 2.val * num 1.base + dígito.val num 2.base= num 1.base dígito.base = num 1.base num.

9 Octal-decimal. (Graf. de dependencias)

10 Octal-decimal. (Árbol sintáctico 345o) num_base num carbase num digito num digito digito

11 Octal-decimal. (Gráf. de dependencia)

12 Octal-decimal. (Código intermedio) a 1 =8; //carbase.base=8 a 2 =a 1 ; //m.base=8 a 3 =a 2 ; //m.base=8 a 4 =a 3 ; //m.base a 5 =a 4 ; //digito.base=8 a 6 =3; a 7 =a 6 ; a 8 = a 3 ; a 8 =4; if (a 9 =error a 7 ==error) then a 10 =error else a 10 =a 7 *a 3 +a 9 ; // a 10 =3*8+4=28 a 11 =a 2 ; //a 11 =8 a 12 =5; if (a 12 =error a 10 ==error) then a 13 =error else a 13 =a 10 *a 2 +a 12 ; // a 13 =28*8+5 a 13 =a 13 ;

base=8 a 6 =3; a 7 =a 6 ; a 8 = a 3 ; a 8 =4; if (a 9 =error a 7 ==error) then a 10 =error else a 10 =a

13 Ejercicio 5 (propuesto) A partir de la gramática siguiente, amplíala con atributos sintetizados de manera que, cuando se reduzca por S, se muestre el número de a y b que contiene una frase cualquiera del lenguaje generado por la gramática: S (A) A A, D A D D a D b D (A)

reduzca por S, se muestre el número de a y b que contiene una frase

14 Ejercicio 6 (propuesto) Amplie la gramática siguiente con atributos sintetizados para que obtenga el número decimal correspondiente al número binario de entrada: S C C 0 C C 1 C C 0 C 1 Construya el árbol sintáctico para la entrada incluyendo infomación topológica para nodos y hojas. Evalúe el árbol aplicando las reglas semánticas.

C 0 C C 1 C C 0 C 1 Construya el árbol sintáctico para la entrada 110101 incluyendo

15 Ejercicio 6. Amplíe la gramática siguiente con atributos sintetizados para que calcule el valor mínimo y máximo de una lista de enteros. S L L num, L L num Presente las diferentes acciones semánticas para la entrada siguiente: 7, 8, 5, 3 $

16 Ejercicio 6. (Solución) S L L0 num, L1 L num S.maximo = L.maximo S.minimo = L.minimo L 0.minimo = MIN (num.valor, L 1.minimo) L 0.maximo = MAX (num.valor, L 1.maximo) L.maximo = num.valor L.minimo = num.valor

17 Ejercicio 7a Complete la gramática del ejercicio 7a con acciones semánticas que permitan calcular el número de listas de una expresión de entrada. L (A) A A (A) Tenga en cuenta que una lista está formada por una pareja de paréntesis balanceados, por lo que: ()(()) 3 listas (()) 2 listas ()() 2 listas (()(())) 4 listas

L (A) A A (A) Tenga en cuenta que una lista está formada por una pareja de

18 Ejercicio 7a. (Solución) L (A) A A(A) A.listas_antes = 1 L.total_listas = A.listas_despues A 1.listas_antes = A 0.listas_antes A 2.listas_antes = A 1.listas_despues + 1 A 0.listas_despues = A 2.listas_despues A A.listas_despues = A.listas_antes

listas_antes A 2.listas_antes = A 1.listas_despues + 1 A 0.

19 Ejercicio 7b Complete la gramática siguiente con acciones semánticas que permitan calcular la profundidad de una expresión de entrada, entendida como el máximo número de anidamiento de todas las listas de la expresión. Ejemplos: ()(()) Profundidad 2 (()) Profundidad 2 ()() Profundidad 1 (()(())) Profundidad 3

el máximo número de anidamiento de todas las listas de la expresión.

20 Ejercicio 7b. (Solución) L (A) L.p = A.p + 1 A A(A) si A 1.p > A 2.p entonces A 0.p = A 1.p si_no A 0.p = A 2.p + 1 A A 0.p = 0

21 Ejercicio 7b (Árbol sintáctico).

22 Ejercicio 7b. Profundidad p=2 p=1 p=1 p=0 p=0 p=0

Documentos relacionados

ANÁLISIS SEMÁNTICO. Especificación formal: Semántica Operacional, semántica denotacional, semántica Axiomática, Gramáticas con Atributos.

ANÁLISIS SEMÁNTICO. Especificación formal: Semántica Operacional, semántica denotacional, semántica Axiomática, Gramáticas con Atributos. ANÁLISIS SEMÁNTICO El análisis semántico dota de un significado coherente a lo que hemos hecho en el análisis sintáctico. El chequeo semántico se encarga de que los tipos que intervienen en las expresiones