Please enable JavaScript.

Coggle requires JavaScript to display documents.

Análisis Semántico - Coggle Diagram

- - - - la entrada del analizador semántico es la salida generada por el analizador sintáctico.
    - - Si existiese un error semántico, la fase de análisis semántico debería notificar dicho error al manejador de errores para que éste se encargase de su gestión.
    - - Este árbol posee información adicional al árbol
        generado por el analizador sintáctico, el empleo de dicha información es útil para llevar a cabo el proceso de generación de código
    - - Esta estructura de datos, a su nivel más básico, es un diccionario (memoria asociativa) que asocia identificadores a la información requerida por el compilador.
  - - - Existen multitud de elementos en lenguajes de programación cuyas entidades han
        de existir de un modo único, es decir, no se permite que estén duplicadas.
        
        Ejemplos
        
        Los valores de un tipo enumerado de Pascal o C han de ser únicos.
        
        Las etiquetas de un lenguaje de programación, como un ensamblador, no pueden estar repetidas, puesto que los saltos a las mismas serían ambiguos.
        
        La declaración de un identificador en un ámbito ha de ser única en multitud de lenguajes de programación.
    - - En ocasiones, el empleo de un elemento de un lenguaje ha de estar ligado a una utilización
        previa del mismo:
        
        En un ensamblador, un salto a una etiqueta requiere que ésta haya sido referida
        como una posición de memoria.
        
        En el lenguaje de programación ANSI C y en ISO/ANSI C++ la invocación a una función o método requiere que éstos hayan sido
        declarados previamente.
        
        La especificación de ámbitos para determinadas estructuras de control, en determinados
        lenguajes como BASIC, requiere la utilización pareja de palabras reservadas
        
        IF / END IF, FOR ID / NEXT ID o SUB / END SUB
    - - Todas las comprobaciones semánticas descritas en este punto suelen llevarse a cabo en fase de compilación y por ello reciben el nombre de “estáticas”.
      - Existen comprobaciones que pueden ser llevadas a cabo en tiempo de ejecución y por ello se llaman "dinámicas"
    - - Este tipo de comprobaciones es el más exhaustivo y amplio en fase de análisis semántico.
        
        Comprobar las operaciones que se pueden aplicar a cada construcción del lenguaje.
        
        Dado un elemento del lenguaje, su tipo identifica las operaciones que sobre él se pueden aplicar.
        
        Inferir el tipo de cada construcción del lenguaje.
        
        Es necesario conocer el tipo de toda construcción
        sintácticamente válida del lenguaje.
  - - - Un AST puede ser visto como el árbol sintáctico de una gramática denominada abstracta, al igual que un árbol sintáctico es la representación de una gramática