Facultad de Ingeniería

                    Compiladores 
Segundo ciclo 2019
Mgtr. Diana Gutiérrez

Ejercicios - Análisis semántico

Instrucciones: Resolver cada uno de los ejercicios que se presentan a continuación. Deje
constancia de su razonamiento y procedimiento.

1. Diseñe una gramática que permita generar números enteros binarios.

a. Amplíe la gramática anterior en una gramática de atributos para convertir
un número binario entero a un número decimal entero.
b. Construya el árbol de análisis sintáctico anotado para la cadena ​11001 y
encontrar su valor decimal. Indicar el orden de evaluación de los atributos.

2. Asuma que a partir del 2020 las computadoras pasarán de trabajar con cadenas
de dígitos ​0 y ​1 a trabajar con la letra ​x para representar el ​0 y la letra ​y para
representar el ​1.​ Además, se invertirá el orden de los símbolos. Por ejemplo, la
cadena ​00111 se convertirá en ​yyyxx​. Se desea diseñar una TDS que realice esta
traducción usando la gramática base:
S → 0AS | 1
A → 0SA | 1

3. La siguiente gramática genera divisiones de números enteros y reales. La idea de

esta gramática es que la operación de división se interprete de forma diferente
dependiendo de si se trata de números enteros o reales. Por ejemplo: 5/4 puede
tener el valor 1.2 o 1, si se trata de una división de reales o entera.

exp → exp / exp | num_int | num_real

El lenguaje de programación requiere que las operaciones en las que aparecen

números enteros combinados con reales, tienen que ser convertidos
implícitamente a expresiones con punto flotante. Por ejemplo: la expresión 5/2/2.0
es 1.25, mientras que el significado de 5/2/2 es 1. Agregue las reglas semánticas
necesarias para que se puedan distinguir entre estos dos tipos de operaciones.
Tip: se necesitan tres atributos: un atributo booleano ​isFloat​; que indica si aparece
un operando que tiene un valor real, otro atributo ​etype que indica el tipo de una
subexpresión (int o real) y un atributo ​val​ para almacenar el valor de la expresión.

4. Diseña una TDS para traducir declaraciones de funciones en C a Pascal. Usar

como gramática base:
S → Tipo fun L ;
Tipo_fun → void | int | float
L → F Lista_fun
Lista_fun → , F Lista_fun | ε
F → id ( A )
A → void | Argu LArgu | ε
LArgu → , Argu LArgu | ε
Argu → Tipo id | Tipo * id
Tipo → int | float

Algunos ejemplos:
int f(), g(float a, int *b); function f:integer; function g(a:real; var
b:integer):integer;

void h(int a, float *c), j(void); procedure h(a:integer; var c:real); procedure j;

float f(int a); function f(a:integer):real;

Producciones Reglas semánticas

S → Tipo_fun L ; L.type = Tipo_fun.type

S.trad = L.trad || “;”

Tipo_fun → void Tipo_fun.type = void

 Facultad de Ingeniería
                    Compiladores 
Segundo ciclo 2019
Mgtr. Diana Gutiérrez

Tipo_fun.trad = “procedure”

Tipo_fun → int Tipo_fun.type = int

Tipo_fun.trad = “function”

Tipo_fun → float Tipo_fun.type = float

Tipo_fun.trad = “function”

L → F Lista_fun F.type = L.type

Lista_fun.type = L.type
L.trad = F.trad || Lista_fun.trad

Lista_fun → , F Lista_fun​1 F.type = Lista_fun.type

Lista_fun​1​.type = Lista_fun.type
Lista_fun.trad = “;” || F.trad || Listad_fun​1​.trad

Lista_fun → ε Lista_fun.trad = “”

F → id ( A ) if (F.type = void and A.trad = “”) “procedure” || id.lexema

if (F.type = void and A.trad <> “”) “procedure” || id.lexema || “(” || A.trad || “)”
if (F.type = int and A.trad = “”) “function” || id.lexema || “: integer”
if (F.type = int and A.trad <> “”) “function” || id.lexema || “(” || A.trad || “)” || “:
integer”
if (F.type = float and A.trad = “”) “function” || id.lexema || “: real”
if (F.type = float and A.trad <> “”) “function” || id.lexema || “(” || A.trad || “)” ||
“: real”

A → void A.trad = “”

A → Argu LArgu A.trad = Argu.trad || LArgu.trad

A→ε A.trad = “”

LArgu → , Argu LArgu​1 LArgu.trad = “,” || Argu.trad || LArgu​1​.trad

LArgu → ε LArgu.trad = “”

Argu → Tipo id Argu.trad = id.lexema || “:” || Tipo.trad

Argu → Tipo * id Argu.trad = “var” || id.lexema || “:” || Tipo.trad

Tipo → int Tipo.trad = “integer”

Tipo → float Tipo.trad = “real”