Proceso de Compilación

Question 1

8

¿Qué es un compilador?

Answer 1

Un compilador es un complejo programa que lee un programa escrito en lenguaje fuente, y lo traduce a un programa equivalente en lenguaje objeto, normalmente mas cercano al lenguaje de maquina.

programa fuente => programa objeto.

Question 2

¿Cómo está dividido el proceso de compilación?

Answer 2

Está dividido en dos partes:
1. Análisis: a partir del programa fuente se crea una representación del mismo.
2. Síntesis: a partir de la representación intermedia, construye el programa objeto.

Question 3

¿Cómo esta formado el Análisis?

Answer 3

El Análisis está formado por tres fases:
1. Análisis Léxico.
2. Análisis Sintáctico.
3. Análisis Semántico.

Question 4

¿Qué es el Análisis Léxico?

Answer 4

Realizado por el Scanner, es el proceso que consiste en recorrer el flujo de caracteres que forman el Programa Fuente, detectar los lexemas que componen ese programa, y traducir la secuencia de estos lexemas en una secuencia de tokens cuya representación es mas útil para el resto del compilador.

Question 5

¿Cuáles son las dos formas de implementar un Scanner?

Answer 5

1. A través de un programa auxiliar tipo lex.
2. Mediante la construcción de una rutina basada en el diseño de un AFD (reconoce los LRs que forman los tokens).

Question 6

¿Qué es el Análisis Sintáctico?

Answer 6

Realizado por el Parser, verifica si los tokens que recibe del Scanner, forman secuencias o construcciones válidas e invoca a las rutinas semánticas que correspondan, según la gramática sintáctica del LP.

Question 7

¿Qué es el Parser?

Answer 7

Es un grupo de rutinas que convierte el flujo de tokens en un árbol de análisis sintáctico (AAS), generalmente implicito.

Question 8

¿En qué consiste el Análisis Semántico?

Answer 8

Consiste en la realización de tareas de verificación y de conversión que no puede realizar el Análisis Sintáctico.

Debe verificar que se cumplan todas las reglas sensibles al contexto.

Question 9

¿Cuáles son las funciones que lleva a cabo el Análisis Semántico?

Answer 9

1. Chequear la semántica estática de cada construcción (que sea legal y tenga significado).
2. Si la construcción es semánticamente correcta, la rutina hace la traducción (genera código para una maquina virtual que implementa la construcción).

Question 10

¿Qué gramáticas se utilizan para cada fase del análisis?

Answer 10

1. Análisis Léxico: GR.
2. Análisis Sintáctico: GIC.
3. Análisis Semántico: GSC.

Question 11

¿Por quién es detectado un error léxico?

Answer 11

Es detectado por el Scanner en el Análisis Léxico, si un caracter no es válido para ningun lexema en el LP, se produce el error lexico y le informa al Parser.
La reparación mas sencilla es ignorar el caracter y seguir con el siguiente.

Question 12

¿Qué derivación implementa el PAS?

Answer 12

Procedimiento de Análisis Sintáctico.
Implementa el Análisis Sintáctico Descendente Recursivo (ASDR)

Question 13

¿Qué derivación utiliza el Análisis Sintáctico Descendente (top-down)?

Answer 13

Utiliza una derivación por izquierda que comienza desde el axioma.

Question 14

¿Qué derivación utiliza el Análisis Sintáctico Ascendente (bottom-up)?

Answer 14

Utiliza una derivación por derecha desde las hojas hacia el axioma.

Question 15

¿Qué es un Parser LL(1) o Parser Predictivo?

Answer 15

Es un Parser capaz de elegir entre los distintos lados derechos de un determinado noterminal con solo conocer el proximo token.

Question 16

¿Qué es el conjunto primero?

Answer 16

Es el conjunto de terminales que pueden iniciar cualquier cadena de derivación que se obtenga, a partir de un noterminal.

Primero(S)={}

Question 17

¿Qué es el conjunto siguiente?

Answer 17

Está determinado por aquellos terminales que siguen inmediatamente despues al noterminal analizado, en las cadenas de derivación que contengan al noterminal.

Siguiente(S) = {}

Question 18

¿Qué es el ASA?

Answer 18

Es el Análisis Sintáctico Ascendente (bottom-up), es realizado por un Parser Ascendente (construye desde hojas hacia el axioma) que es basicamente un AFP.