Procesadores de lenguaje Ejercicios Análisis semántico

Procesadores de lenguajeEjercicios Análisis semánticoSalvador Sánchez, Daniel RodríguezDepartamento de Ciencias de la ComputaciónUniversidad de Alcalá

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 ordencorrecto de todos los atributos.– Indique la salida que produce el análisis de la entrada “aaaa”S’→SS → ASS → AA → aprintf(“%d”,S.v);S 0.v = A.vA.x = S 1.vA.x = 0S.v = A.vA.v = A.x + 1Procesadores de lenguaje – Tema 4: Análisis semánticoSalvador Sánchez, Daniel Rodríguez

Ejercicio 2: Binario a decimal• Considerar la siguiente gramática que genera númerosbinarios:A → AB | BB → 0 | 1• Obtener la gramática con atributos que al analizar unnúmero binario calcule su equivalente en decimal.• Mostrar el árbol para la cadena de entrada 101Procesadores de lenguaje – Tema 4: Análisis semánticoSalvador Sánchez, Daniel Rodríguez

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 }Procesadores de lenguaje – Tema 4: Análisis semánticoSalvador Sánchez, Daniel Rodríguez

Ejercicio 2: Binario a decimalProcesadores de lenguaje – Tema 4: Análisis semánticoSalvador Sánchez, Daniel Rodríguez

Ejercicio 3 (propuesto)• Considerar la siguiente gramática:num → dig num | digdig → 0 | 1 | … | 9• Añadirle atributos y acciones semánticas para que calculesu valor en decimalProcesadores de lenguaje – Tema 4: Análisis semánticoSalvador Sánchez, Daniel Rodríguez

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 yestablecer una clasificación topológica para el mismo– Generar el código correspondiente a las reglas semánticas asociadas alanálisis de la expresión anteriorProcesadores de lenguaje – Tema 4: Análisis semánticoSalvador Sánchez, Daniel Rodríguez

Ejercicio octal-decimal (semántica)num-base → numcarbasecarbase → ocarbase → dnum → num dígitonum → dígitodígito → 0...dígito →7dígito → 8dígito → 9num-base.val = num.val;num.base = carbase.basecarbase.base = 8carbase.base = 10num 1.val =if dígito.val = error or num 2.val = errorthen errorelse num 2.val * num 1.base + dígito.valnum 2.base= num 1.basedígito.base = num 1.basenum.val = dígito.valdígito.base = num.basedígito.val = 0…dígito.val = 7dígito.val = if dígito.base == 8 then error else8dígito.val = if dígito.base == 8 then error else9Procesadores de lenguaje – Tema 4: Análisis semánticoSalvador Sánchez, Daniel Rodríguez

Octal-decimal. (Graf. de dependencias)Procesadores de lenguaje – Tema 4: Análisis semánticoSalvador Sánchez, Daniel Rodríguez

Octal-decimal. (Árbol sintáctico 345o)num_basenumcarbasenumdigitonumdigitodigitoProcesadores de lenguaje – Tema 4: Análisis semánticoSalvador Sánchez, Daniel Rodríguez

Octal-decimal. (Gráf. de dependencia)Procesadores de lenguaje – Tema 4: Análisis semánticoSalvador Sánchez, Daniel Rodríguez

Octal-decimal. (Código intermedio)a 1 =8; //carbase.base=8a 2 =a 1 ; //m.base=8a 3 =a 2 ; //m.base=8a 4 =a 3 ; //m.basea 5 =a 4 ; //digito.base=8a 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=28a 11 =a 2 ; //a 11 =8a 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+5a 13 =a 13 ;Procesadores de lenguaje – Tema 4: Análisis semánticoSalvador Sánchez, Daniel Rodríguez

Ejercicio 5 (propuesto)• A partir de la gramática siguiente, amplíala con atributossintetizados de manera que, cuando se reduzca por S,se muestre el número de a y b que contiene una frasecualquiera del lenguaje generado por la gramática:S → (A)A → A , DA → DD → aD → bD → (A)Procesadores de lenguaje – Tema 4: Análisis semánticoSalvador Sánchez, Daniel Rodríguez

Ejercicio 6 (propuesto)• Amplie la gramática siguiente con atributos sintetizados para queobtenga el número decimal correspondiente al número binario deentrada:S → CC → 0 CC → 1 CC → 0C → 1• Construya el árbol sintáctico para la entrada 110101 incluyendoinfomación topológica para nodos y hojas.• Evalúe el árbol aplicando las reglas semánticas.Procesadores de lenguaje – Tema 4: Análisis semánticoSalvador Sánchez, Daniel Rodríguez

Ejercicio 6.• Amplíe la gramática siguiente con atributos sintetizadospara que calcule el valor mínimo y máximo de una lista deenteros.S → LL → num , LL → num• Presente las diferentes acciones semánticas para laentrada siguiente:7, 8, 5, 3 $Procesadores de lenguaje – Tema 4: Análisis semánticoSalvador Sánchez, Daniel Rodríguez

Ejercicio 6. (Solución)S → LL0 → num , L1L → numS.maximo = L.maximoS.minimo = L.minimoL 0 .minimo = MIN (num.valor, L 1 .minimo)L 0 .maximo = MAX (num.valor, L 1 .maximo)L.maximo = num.valorL.minimo = num.valorProcesadores de lenguaje – Tema 4: Análisis semánticoSalvador Sánchez, Daniel Rodríguez

Ejercicio 7a• Complete la gramática del ejercicio 7a con accionessemánticas que permitan calcular el número de listas deuna expresión de entrada.L → (A)A → A (A) | €• Tenga en cuenta que una lista está formada por unapareja de paréntesis balanceados, por lo que:()(()) 3 listas(()) 2 listas()() 2 listas(()(())) 4 listasProcesadores de lenguaje – Tema 4: Análisis semánticoSalvador Sánchez, Daniel Rodríguez

Ejercicio 7a. (Solución)L → (A)A → A(A)A.listas_antes = 1L.total_listas = A.listas_despuesA 1 .listas_antes = A 0 .listas_antesA 2 .listas_antes = A 1 .listas_despues + 1A 0 .listas_despues = A 2 .listas_despuesA → €A.listas_despues = A.listas_antesProcesadores de lenguaje – Tema 4: Análisis semánticoSalvador Sánchez, Daniel Rodríguez

Ejercicio 7b• Complete la gramática siguiente con acciones semánticasque permitan calcular la profundidad de una expresión deentrada, entendida como el máximo número deanidamiento de todas las listas de la expresión.• Ejemplos:()(()) Profundidad 2(()) Profundidad 2()() Profundidad 1(()(())) Profundidad 3Procesadores de lenguaje – Tema 4: Análisis semánticoSalvador Sánchez, Daniel Rodríguez

Ejercicio 7b . (Solución)L → (A)L.p = A.p + 1A → A(A)si A 1 .p > A 2 .p entonces A 0 .p = A 1 .psi_no A 0 .p = A 2 .p + 1A → €A 0 .p = 0Procesadores de lenguaje – Tema 4: Análisis semánticoSalvador Sánchez, Daniel Rodríguez

Ejercicio 7b (Árbol sintáctico).Procesadores de lenguaje – Tema 4: Análisis semánticoSalvador Sánchez, Daniel Rodríguez

Ejercicio 7b. Profundidadp=2p=1p=1p=0p=0 p=0Procesadores de lenguaje – Tema 4: Análisis semánticoSalvador Sánchez, Daniel Rodríguez