UNIDAD 5
ANALISIS SEMANTICO
MARCO TEORICO: El análisis semántico utiliza como entrada el árbol sintáctico detectado por el análisis sintáctico para comprobar restricciones de tipo y otras limitaciones semánticas y preparar la generación de código.
APORTACION: yo entendí que se compone de un conjunto de rutinas independientes, y que a estas se le llama analizadores morfológicos y sintácticos, y también nos ayuda para comprobar las restricciones y sus limitaciones y así poder preparar la generación de código para un programa en específico.
Bibliografía: Aho sethi ullman.
Compiladores principios técnicas y herramientas.
Ed. Addison Wesley.
Recuperado: 21/10/10
5.1 ANALIZADOR SEMANTICO
MARCO TEORICO: El análisis semántico utiliza como entrada el árbol sintáctico detectado por el análisis sintáctico para comprobar restricciones de tipo y otras limitaciones semánticas y preparar la generación de código.
En compiladores de un solo paso, las llamadas a las rutinas semánticas se realizan directamente desde el analizador sintáctico y son dichas rutinas las que llaman al generador de código. El instrumento más utilizado para conseguirlo es la gramática de atributos.
APORTACION: A mi punto de vista este solo debe de contabilizar el número de sentencias. También nos dice que esta debe comprobar unas reglas que el programa fuente esta obligado a satisfacer. Y esta se divide en dos tipos como son dinamica y estatica. y esta contiene informacion semantica asociada a los operadores y a estos operadores en forma de registros o analizadores semnaticos.
Bibliografía: http://arantxa.ii.uam.es/~alfonsec/docs/compila5.htm
Recuperado: 21/10/10
5.2 VERIFICACION DE TIPOS EN EXPRESION
MARCO TEORICO: Conjunto de reglas que permiten asociar tipos a las construcciones del lenguaje y verificar su corrección. Determinan el conjunto de expresiones de tipo admisibles en el lenguaje, Expresiones de tipo: Tipos asociados a las construcciones del lenguaje.
Una expresión de tipo es un tipo básico, o es el resultado de aplicar un constructor de tipo a otra expresión de tipo de acuerdo a unas reglas de construcción (dadas por el mismo lenguaje).
APORTACION: Nos dice que esta se hace asignando el valor de cada tipo de dato a los componentes léxicos. Y pues también estos comparan que los tipos de datos coincidan y sean congruentes, que de lo contrario este no puede llevar a cabo o realizar su proceso.
Bibliografía: Kenneth C. louden
Construcción de compiladores principios y prácticas.
Ed. Addison Wesley.
Recuperado: 21/10/10
En compiladores de un solo paso, las llamadas a las rutinas semánticas se realizan directamente desde el analizador sintáctico y son dichas rutinas las que llaman al generador de código. El instrumento más utilizado para conseguirlo es la gramática de atributos.
No hay comentarios:
Publicar un comentario