5.1 ANALIZADOR SEMÁNTICO
FENDAMENTO:
Se compone de un conjunto de rutinas independientes, llamadas por los analizadores morfológico y sintáctico. 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.
Bibliografía:
Autor: José´ Fortes L, (año de1881)”Análisis semántico v1.2”
Dirección: http://serdis.dis.ulpgc.es/~ii-pl/ftp/transp/tr-asem-ver.pdf
Recuperado: 22/10/2010
APORTACION:
Se trata de determinar el tipo de los resultados intermedios, comprobar que los argumentos que tiene un operador pertenecen al conjunto de los operadores posibles, y si son compatibles entre sí, etc. En definitiva, comprobará que el significado de lo que se va leyendo es válido.
5.2 VERIFICACIÓN DE LOS TIPOS DE EXPRESIONES
FUNDAMENTO:
Es un aserie de reglas para asignar expresiones de tipo a las distintas partes de un programa.
Bibliografía:
Autor: Ramón Pons Vivanco
Publicación: 2003-08-12
Recuperado: 22/10/2010
APORTACION:
Es aquí donde el compilador verifica si cada operador tiene operadores permitidos por la especificación del lenguaje fuente.
5.6 ADMINISTRACIÓN DE LA TABLA DE SÍMBOLOS
FUNDAMENTO:
La tabla de símbolos también recibe el nombre de ambiente. Un ambiente contiene un conjunto de parámetros que sólo son visibles en ese ambiente.
Bibliografía:
Autor: Autor J. Neira (3° edición 2001) pág. 220-226
Publicación: 2003-08-12
Recuperado: 22/10/2010
APORTACION:
La tabla de símbolos se mantiene durante todo el proceso de traducción agregando elementos específicos en cada paso, de acuerdo a cada necesidad del problema que se presente.
No hay comentarios:
Publicar un comentario