Scribd Logo
Cargar

¡Te damos la bienvenida a Scribd!

  • 406 vistas

    Analizador Semantico

    Cargado por

    Rodrigo Serrano
    El documento habla sobre el análisis semántico en procesadores de lenguaje. Explica que el análisis semántico computa información adicional necesaria para procesar un lenguaje después del análisis sintáctico. También describe algunas comprobaciones semánticas como verificar tipos y declaraciones de variables, así como el uso de tablas de símbolos y pilas semánticas para almacenar información y detectar errores durante el análisis semántico.

    Copyright:

    © All Rights Reserved
    Descargue como PDF, TXT o lea en línea desde Scribd

    Analizador Semantico

    Cargado por

    Rodrigo Serrano
    406 vistas28 páginas
    El documento habla sobre el análisis semántico en procesadores de lenguaje. Explica que el análisis semántico computa información adicional necesaria para procesar un lenguaje después del análisis sintáctico. También describe algunas comprobaciones semánticas como verificar tipos y declaraciones de variables, así como el uso de tablas de símbolos y pilas semánticas para almacenar información y detectar errores durante el análisis semántico.

    Descripción original:

    presentacion sobre el analisis semantico

    Título original

    Analizador semantico

    Derechos de autor

    © © All Rights Reserved

    Formatos disponibles

    PDF, TXT o lea en línea desde Scribd

    ¿Le pareció útil este documento?

    ¿Este contenido es inapropiado?

    El documento habla sobre el análisis semántico en procesadores de lenguaje. Explica que el análisis semántico computa información adicional necesaria para procesar un lenguaje después del análisis sintáctico. También describe algunas comprobaciones semánticas como verificar tipos y declaraciones de variables, así como el uso de tablas de símbolos y pilas semánticas para almacenar información y detectar errores durante el análisis semántico.

    Copyright:

    © All Rights Reserved
    Descargue como PDF, TXT o lea en línea desde Scribd
    Descargar como pdf o txt
    406 vistas28 páginas

    Analizador Semantico

    Cargado por

    Rodrigo Serrano
    El documento habla sobre el análisis semántico en procesadores de lenguaje. Explica que el análisis semántico computa información adicional necesaria para procesar un lenguaje después del análisis sintáctico. También describe algunas comprobaciones semánticas como verificar tipos y declaraciones de variables, así como el uso de tablas de símbolos y pilas semánticas para almacenar información y detectar errores durante el análisis semántico.

    Copyright:

    © All Rights Reserved
    Descargue como PDF, TXT o lea en línea desde Scribd
    Descargar como pdf o txt
    Está en la página 1de 28

    ANÁLISIS SEMÁNTICO

    ANÁLISIS SEMÁNTICO EN PROCESADORES DE LENGUAJE

    Es aquélla que computa la información


    adicional necesaria para el procesamiento de
    un lenguaje, una vez que la estructura
    sintáctica de un programa haya sido
    obtenida.

    Es por tanto la fase posterior a la de análisis


    sintáctico y la última dentro del proceso de
    síntesis de un lenguaje de programación
    − Que todos los identificadores que aparecen
    en la expresión hayan sido declarados en el
    ámbito actual, o en alguno de sus ámbitos
    (bloques) previos.

    − Que la subexpresión de la izquierda sea


    semánticamente válida, es decir, que sea un
    lvalue.

    − Que a los tipos de los identificadores base y


    altura se les pueda aplicar el operador de
    multiplicación. Un registro en C, por ejemplo,
    Dado el siguiente ejemplo de código en C:
    no sería válido.

    superficie = base * altura / 2; − Deberá inferirse el tipo resultante de la


    división y comprobarse si éste es compatible
    con el tipo de superficie para llevar a cabo la
    asignación.
    1.1 Árboles de expresiones.

    ● Código de nivel
    del lenguaje en
    forma de datos.
    ● Estructura con
    forma de árbol.
    ● Representa y
    evalúa una
    expresión.
    1.1 Árboles de expresiones.
    2 características importantes:

    ● Cualquier hoja está etiquetada ● Cualquier nodo interior n está


    sólo con un operando. etiquetado por un operador.

    5 +
    1.1 Árboles de expresiones.
    Características a tomar en cuenta al momento de introducir la expresión:

    ● Raíz y nodos intermedios → Operador.


    ● Hojas → Operando.
    ● Si un operador tiene mayor prioridad que
    la raíz se coloca como hijo.
    ● Si un operador tiene igual o menor
    prioridad que un nodo se coloca como
    padre.
    ● Nodo → Subárbol (Hijo).
    1.1 Árboles
    de
    expresiones.
    1.2 Acciones semánticas de un analizador sintáctico

    Definición de un analizador
    sintáctico: es la fase del
    analizador que se encarga de
    chequear el texto de entrada
    en base a una gramática dada.
    1.2 Acciones semánticas de un analizador sintáctico

    ● Acceder a la tabla de símbolos (para


    hacer parte del trabajo del analizador
    semántico).
    ● Chequeo de tipos (del analizador
    semántico).
    ● Generar código intermedio.
    ● Generar errores cuando se producen.
    ● Realiza casi todas las operaciones de la
    compilación.
    1.2 Acciones semánticas de un analizador sintáctico

    La gramática que acepta el analizador


    sintáctico es una gramática de contexto
    libre:

    Gramática: G (N, T, P, S)

    ● N = No terminales.
    ● T = Terminales.
    ● P = Reglas de Producción.
    ● S = Axioma Inicial
    1.3 Comprobaciones de tipos en expresiones
    Comprobaciones estáticas

    Comprobaciones dinámicas
    1.3 Comprobaciones de tipos en expresiones
    Verificación de tipos

    Inferencia de tipos
    1.4 Pila semántica en un analizador sintáctico.
    Las pilas son estructuras de datos que se utilizan generalmente para
    simplificar ciertas operaciones de programación.

    Dos operaciones básicas:

    ● Push (para introducir un elemento).


    ● Pop (para extraer un elemento).
    1.4 Pila semántica en un analizador sintáctico.
    Características:

    ● LIFO.
    ● Recursividad.
    ● Información Semántica.
    ● Un solo lenguaje.
    ● Hace posible al analizador
    sintáctico acceder a la tabla de
    símbolos.
    1.4 Pila semántica en un analizador sintáctico.
    Bottom up.

    ● Principio de muchos años para


    realizar una pila semántica.
    ● Elementos funcionales pequeños.
    ● Puede llegar a encubrir errores
    como una ciudad encubre a
    fugitivos.
    1.4 Pila semántica en un analizador sintáctico.
    Top down.

    ● Método que divide problemas en


    subproblemas.
    ● Diseño descendente = método para
    resolver problema → lenguaje para
    computadora.
    1.4 Pila semántica en un analizador sintáctico.
    Reglas semánticas.

    ● Conjunto de normas y
    especificaciones dadas por la
    sintaxis.
    ● Asignan significado lógico a
    expresiones → sintaxis del lenguaje.
    ● Puede tener efectos colaterales.
    1.4 Pila semántica en un analizador sintáctico.
    Ventajas.

    ● Detecta la validez semántica de las sentencias


    aceptadas.
    ● Las rutinas semánticas realizan la evaluación
    de los atributos de las gramáticas.
    ● Permite agilizar la fase del análisis sintáctico.
    ● Las rutinas semánticas suelen hacer uso de
    una pila → asociada a operadores.
    ● Guardan el estado de las variables o tokens.
    ● Su implementación suele ser relativamente
    fácil.
    1.4 Pila semántica en un analizador sintáctico.
    Desventajas.

    ● Problemas de integración son


    sumamente costosos.
    ● Necesidad de una memoria
    auxiliar que guarde los datos para
    comparar.
    ● Tratar de eliminar un elemento
    de una pila semántica vacía.
    ● El tamaño de la pila.
    ● Avalancha de errores.
    1.5 Esquema de traducción
    1.6 Generación de la tabla de símbolo y tabla de direcciones.
    ● Tablas de identificadores y tablas de nombres.
    ● Estructura de datos relacionada a las fases de
    compilación.
    ● Registra información que se comparte entre varias
    etapas.
    ● Permite administrar los recursos asociados a las
    entidades.

    Funciones principales:

    ● Efectuar chequeos semánticos.


    ● Generación de código.
    1.6 Generación de la tabla de símbolo y tabla de direcciones.
    Se realizan insertando o recuperando:

    ● Nombre.
    ● Tipo.
    ● Dirección de almacenamiento.
    ● Dimensión de una variable.
    1.6 Generación de la tabla de símbolo y tabla de direcciones.
    Estructura.
    Valor de atributo | Valor de atributo | Valor de atributo | Valor de atributo → Variable

    Valor de atributo | Valor de atributo | Valor de atributo | Valor de atributo → Variable

    Valor de atributo | Valor de atributo | Valor de atributo | Valor de atributo → Variable

    Valor de atributo | Valor de atributo | Valor de atributo | Valor de atributo → Variable

    Valor de atributo | Valor de atributo | Valor de atributo | Valor de atributo → Variable

    Las clases de los atributos dependen del lenguaje.


    1.6 Generación de la tabla de símbolo y tabla de direcciones.

    La tabla de símbolos
    consume gran parte
    del tiempo de
    compilación.
    1.6 Generación de la tabla de símbolo y tabla de direcciones.
    Ejemplo.

    El analizador realiza esta identificación de lexemas de la siguiente instrucción:

    velocidad = distancia / tiempo

    1. velocidad → ⟨id│1⟩
    2. = → 〈=〉
    3. distancia → ⟨id│2⟩
    4. / → 〈/〉
    5. tiempo → ⟨id│3⟩
    1.6 Generación de la tabla de símbolo y tabla de direcciones.
    El código generado por el analizador léxico se representa como:
    ⟨id│1⟩〈=〉⟨id│2⟩〈/〉⟨id│3⟩
    1.7 Manejo de errores semánticos
    Hay, pues, dos criterios a seguir a la
    hora de manejar errores:

    Pararse al detectar el primer Detectar todos los errores de una


    error. pasada.

    También podría gustarte