Scribd Logo
Cargar

¡Te damos la bienvenida a Scribd!

  • 73 vistas

    Analisis Semántico

    Cargado por

    Francisco O'Mar
    La fase de análisis semántico revisa el programa fuente para tratar de encontrar errores semánticos y reúne la información sobre los tipos para la fase posterior de generación de código

    Copyright:

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

    Analisis Semántico

    Cargado por

    Francisco O'Mar
    73 vistas2 páginas
    La fase de análisis semántico revisa el programa fuente para tratar de encontrar errores semánticos y reúne la información sobre los tipos para la fase posterior de generación de código

    Título original

    ANALISIS SEMÁNTICO

    Derechos de autor

    © © All Rights Reserved

    Formatos disponibles

    DOCX, PDF, TXT o lea en línea desde Scribd

    ¿Le pareció útil este documento?

    ¿Este contenido es inapropiado?

    La fase de análisis semántico revisa el programa fuente para tratar de encontrar errores semánticos y reúne la información sobre los tipos para la fase posterior de generación de código

    Copyright:

    © All Rights Reserved
    Descargue como DOCX, PDF, TXT o lea en línea desde Scribd
    Descargar como docx, pdf o txt
    73 vistas2 páginas

    Analisis Semántico

    Cargado por

    Francisco O'Mar
    La fase de análisis semántico revisa el programa fuente para tratar de encontrar errores semánticos y reúne la información sobre los tipos para la fase posterior de generación de código

    Copyright:

    © All Rights Reserved
    Descargue como DOCX, PDF, TXT o lea en línea desde Scribd
    Descargar como docx, pdf o txt
    de 2

    1.

    ANALISIS SEMNTICO
    La fase de anlisis semntico revisa el programa fuente para tratar
    de encontrar errores semnticos y rene la informacin sobre los
    tipos para la fase posterior de generacin de cdigo. En ella se
    utiliza la estructura jerrquica determinada por la fase de anlisis
    sintctico para identificar los operadores y operandos de
    expresiones y proposiciones.

    Un componente importante del anlisis semntico es la


    verificacin de tipos. Aqu, el compilador verifica si cada operador
    tiene operandos permitidos por la especificacin del lenguaje
    fuente. Por ejemplo, las definiciones de muchos lenguajes de
    programacin requieren que el compilador indique un error cada
    vez que se use un nmero real como ndice de una matriz. Sin
    embargo, la especificacin del lenguaje puede permitir ciertas
    coerciones a los operandos, por ejemplo, cuando un operador
    aritmtico binario se a plica a un nmero entero y a un nmero
    real. En este caso, el compilador puede necesitar convertir el
    nmero entero real.

    1.1 ARBOLES DE EXPRESIONES


    Expresin: secuencia de tokens.

    Token: puede ser un operando o un operador.

    Operador: +, -, *, /.

    Propiedades:

    Cada hoja es un operando.


    El nodo raz o los nodos internos son operadores.
    Los subrboles son subexpresiones en los nodos que el
    nodo raz es un operador.

    Reglas de precedencia: + (positivo), - (negativo).

    *, /, %

    +, -

    Ejemplo: a*(b+c)+d

    los parntesis estn implcitos en el rbol.


    La prioridad se determina solo por parntesis.
    La expresin completa se sita con parntesis.
    Figura 1. Diagrama de expresiones usando notacin polonesa.

    1.1.1 ARBOLES EN INFORMATICA


    El rbol es una estructura de datos fundamental en informtica,
    muy bien adaptados a la inteligencia artificial y al anlisis
    sintctico.
    En la inteligencia artificial, las declaraciones de las reglas se
    efectan segn el esquema premisas-conclusin, que
    corresponde al establecimiento de relaciones de dependencia
    que se puedan poner en forma arborescente.
    La resolucin de un problema se reduce entonces al recorrido
    de un rbol, con el objeto de establecer un camino entre las
    hiptesis y las conclusiones generales.
    En el anlisis sintctico, se definen gramticas formales que
    permiten descomponer las expresiones. As se puede definir
    una fase como las combinaciones de un grupo nominal y de un
    grupo verbal (verbo y complemento), este grupo verbal se
    descompone en un verbo y en un grupo nominal, formado por
    un nombre y una frase. La estructura jerrquica de una
    expresin puede ser descrita por un esquema arborescente.
    Un compilador podr, en el curso del tratamiento del texto de
    un programa, utilizar rboles para decodificar tales
    expresiones.

    También podría gustarte