Resumen Segundo Parcial Sintaxis

VoF
1) El Parser invoca al Scanner cada vez que necesita un token. V
2) El programa objeto es el resultado del análisis en el proceso de compilación. F
3) El análisis semántico se realiza a través de rutinas semánticas. V
4) El autómata intersección de dos AFD’s es un AFN. F
5) La cinta de la MT es finita. F
6) La unión de dos AFD’s es vacío si los alfabetos no tienen caracteres en común. F
7) El análisis léxico es un proceso que se realiza sobre palabra. V
8) El Scanner lee uno a uno los caracteres que forman un programa fuente. V
9) La MT puede invertir la cadena recibida. F
10) El proceso de compilación está formado por 3 partes (análisis, síntesis, semántica). F
11) El Scanner está basado en un AFD. V
12) El Análisis Sintáctico Descendente produce una derivación por izquierda. V
13) Un APD utiliza múltiples pilas. F
14) Una MT sólo puede utilizarse para Lenguajes Sensibles al Contexto. F
15) La definición formal de una APD es una 7-UPLA. V
16) El análisis Sintáctico incluye verificación de tipos. F

Proceso de Compilación
Un compilador es un programa complejo que lee un programa escrito en un lenguaje fuente
y lo traduce a un programa equivalente en un lenguaje objeto. Al programa original se lo
llama programa fuente y al programa obtenido se lo llama programa objeto.
Está formado por dos partes:
 Análisis: a partir del programa fuente, crea una representación intermedia del mismo.
 Síntesis: a partir de la representación intermedia, construye el programa objeto.
La parte de Análisis está formada por tres fases:

 Análisis Léxico
 Análisis Sintáctico
 Análisis Semántico
Análisis Léxico
Detecta los diferentes elementos básicos que constituyen un programa fuente, como:
identificadores, palabras reservadas, constantes, operadores y caracteres de puntuación. Por
lo tanto, el Análisis Léxico sólo se ocupa de los Lenguajes Regulares que forman parte del
Lenguaje de Programación. En otras palabras, la entrada para el Análisis Léxico son
caracteres y la salida son tokens.

Análisis Sintáctico
Trabaja con los tokens detectados durante el Análisis Léxico, es decir: la entrada para el
Análisis Sintáctico son esos tokens. En esta etapa se conoce la sintaxis del Lenguaje de
Programación, se encarga de determinar si las construcciones que componen el programa son
sintácticamente correctas. Sin embargo, no podrá determinar si el programa en su totalidad
es sintácticamente correcto. Es llevado a cabo por el Parser (Analizador Sintáctico).
En la medida que las estructuras semánticas son reconocidas, el Parser llama a las
correspondientes rutinas semánticas que realizarán el Análisis Semántico.

Análisis Semántico
Completa el trabajo del Análisis Sintáctico. Una de las tareas que hace es la verificación de
tipos.
Las rutinas semánticas llevan a cabo dos funciones:
 Chequean la semántica estática de cada construcción, es decir, verifican que la
construcción analizada sea legal y que tenga un significado. Verifican que las
variables involucradas estén definidas, que los tipos sean correctos, etc.
 Si la construcción es semánticamente correcta, las rutinas semánticas también hacen
la traducción, es decir, generan el código para una Máquina Virtual que implementa
correcta la construcción analizada.