Función:

• Conversión de caracteres a tokens: El analizador léxico toma la secuencia de caracteres del código fuente y la agrupa en tokens, según las reglas definidas por el lenguaje de programación. Cada token tiene un tipo (por ejemplo, palabra clave, identificador, número) y un valor asociado.

• Eliminación de espacios en blanco y comentarios: Durante esta fase, el lexer también ignora los espacios en blanco y los comentarios, ya que no son relevantes para la sintaxis del programa.

• Simplificación del código para el analizador sintáctico: El lexer organiza y simplifica la entrada para que el analizador sintáctico (parser) pueda trabajar más eficientemente con una secuencia estructurada de tokens en lugar de una secuencia de caracteres sin procesar.

Qué manda si hay error:

• Errores léxicos: Si el analizador léxico encuentra una secuencia de caracteres que no puede reconocer como un token válido según las reglas del lenguaje, genera un error léxico.

• Reporte de errores: Generalmente, un error léxico incluye información sobre la naturaleza del error y la ubicación en el código fuente (por ejemplo, la línea y la columna donde ocurrió el error).

• Manejo de errores: Dependiendo de la implementación del compilador, el lexer puede detener la compilación inmediatamente después de encontrar un error léxico, o puede intentar continuar para detectar otros errores en el código fuente.

En esta fase se realiza una optimización del código intermedio generado. La optimización puede asumirse como algo que quita lineas de código innecesarias, y ordena una secuencia de declaraciones que aceleran la ejecución del programa sin desperdiciar recursos de CPU o memoria RAM.

¿COMO FUNCIONA?

El funcionamiento de la optimizacion en los compiladores se puede apreciar mejor con el siguiente ejemplo ; tenemos las siguientes lineas en código intermedio.

int valorA = 0;

int valorB = 10;

int temp = valorA + ValorB;

El optimizador lograría que este código se viera reducido así

int temp = 0 + 10;

La generación de código intermedio es una etapa en el proceso de compilación que se encuentra entre el análisis del código fuente y la generación del código máquina o código de máquina final.

¿Cuáles son sus funciones?

• Abstracción de código fuente: El código intermedio se encuentra en un nivel de abstracción entre el código fuente y el código máquina, lo que le permite al compilador realizar ciertas transformaciones y optimizaciones.

  
  

• Independencia de la máquina: La generación de código intermedio permite al compilador ser más portátil, ya que el mismo código intermedio puede ser utilizado para generar código máquina para diferentes arquitecturas.

  
  

• Facilita la traducción: Al tener un formato intermedio, se facilita la tarea de traducir el código a diferentes lenguajes de máquina. Los compiladores pueden generar código para diferentes plataformas a partir de la misma representación intermedia, simplificando el soporte para múltiples arquitecturas.

  
  

• Ejemplos de código intermedio: Hay varios formatos de código intermedio, como el Intermediate Representation (IR) en LLVM, el bytecode en la Máquina Virtual de Java (JVM) para Java, y el código intermedio en .NET (MSIL o CIL).

  
  

¿Cuál es la salida de esta etapa?

El código intermedio generado tras el análisis semántico es una representación estandarizada y abstracta del programa que captura la lógica y estructura del mismo, facilitando la aplicación de optimizaciones antes de la generación del código final.

Componentes del análisis semántico:

1. Contexto y Significado: A diferencia del análisis sintáctico, que se enfoca en la estructura de la frase o el programa, el análisis semántico se ocupa de asegurar que las combinaciones de símbolos (o palabras) tengan un sentido lógico dentro del contexto. Por ejemplo, en un lenguaje de programación, esto implica verificar que las variables estén correctamente declaradas antes de ser usadas.

2. Tipo de Datos: Una parte crucial del análisis semántico es la comprobación de tipos, donde se asegura que las operaciones realizadas sobre los datos sean válidas. Por ejemplo, no tendría sentido sumar un número con una cadena de texto, y esto es algo que el análisis semántico debe detectar.

3. Verificación de Reglas de Contexto: Las reglas de contexto son aquellas que se refieren a restricciones que no pueden ser expresadas por la gramática formal de un lenguaje. Por ejemplo, en un lenguaje de programación, se debe verificar que las variables estén inicializadas antes de ser utilizadas, algo que no puede ser determinado solo a partir de la estructura sintáctica.

Características

1. Transformación de Texto: Convierte una secuencia de caracteres de entrada en una estructura más organizada, generalmente en forma de árbol. Este árbol refleja la jerarquía y las relaciones de los elementos del texto según las reglas gramaticales.

2. Uso de Gramáticas Formales: Opera de acuerdo con una gramática formal que define las reglas y la estructura que deben seguir los símbolos en el lenguaje que se está analizando.

3. Integración con Compiladores: Frecuentemente se utiliza dentro de compiladores para transformar código fuente en una representación que pueda ser más fácilmente entendida y procesada por el resto del compilador.

4. Estructuras de Datos: La salida del análisis sintáctico suele ser una estructura de datos como un árbol de análisis (parsing tree) o un árbol de sintaxis abstracta (abstract syntax tree), que captura la jerarquía implícita del texto.

Funciones

1. Análisis de la Entrada: Procesa la entrada, que puede ser texto o código fuente, y verifica su conformidad con la gramática definida. Este análisis ayuda a identificar errores gramaticales y sintácticos.

2. Construcción de Estructuras: Crea una representación estructural del texto analizado. Estos árboles estructurales permiten una comprensión más profunda de la organización del contenido y su significado.

3. Interacción con el Analizador Léxico: Trabaja en conjunto con el analizador léxico, que descompone la entrada en tokens. El analizador sintáctico utiliza estos tokens para construir la estructura de datos que representa la organización del texto.

4. Facilita el Procesamiento Posterior: La estructura generada por el analizador sintáctico es utilizada por otros componentes del sistema, como los analizadores semánticos o generadores de código, para realizar tareas adicionales, como la interpretación o la compilación del código.