Analisis semantico

Análisis Semántico en Procesadores de Lenguaje

Cuaderno Nº 38

Ingeniería Informática

Francisco Ortín Soler Juan Manuel Cueva Lovelle Maria Cándida Luengo Díez Aquilino Adolfo Juan Fuente José Emilio Labra Gayo Raúl Izquierdo Castanedo
Lenguajes y Sistemas Informáticos Departamento de Informática Universidad de Oviedo

Oviedo, Marzo 2004

Cuaderno Nº 38 ANÁLISIS SEMÁNTICO ENPROCESADORES DE LENGUAJE
Autorers: Francisco Ortín Soler Juan Manuel Cueva Lovelle Maria Cándida Luengo Díez Aquilino Adolfo Juan Fuente José Emilio Labra Gayo Raúl Izquierdo Castanedo Universidad de Oviedo - España

Editorial: SERVITEC ISBN: 84-688-6208-8 Deposito Legal: AS-1358-04

PRÓLOGO
El objetivo de este libro es introducir los conceptos necesarios sobre la fase de análisis semántico enprocesadores de lenguaje, para un curso universitario de traductores, compiladores e intérpretes: procesadores de lenguajes de programación. Está principalmente dirigido a alumnos de cuarto curso de Ingeniería Informática, aunque cualquier persona con conocimientos básicos de teoría de lenguajes y gramáticas, así como el conocimiento de algún lenguaje de programación orientado a objetos –como Java oC++– está capacitado para seguir su contenido. Para facilitar la labor docente del mismo, los conceptos introducidos han sido ilustrados con un conjunto importante de ejemplos. Asimismo, al final del libro se ha añadido un capítulo de cuestiones de revisión y otro de ejemplos propuestos. El objetivo principal de estos dos puntos es fijar los conocimientos adquiridos y enfatizar los puntos másimportantes. El libro se compone de los siguientes puntos: − Inicialmente se definen los conceptos básicos a emplear a lo largo de todo el texto. − El primer punto es una introducción somera a la especificación de la semántica de lenguajes de programación. Aunque la principal tarea de este texto es centrarnos en el análisis semántico de lenguajes y no en su semántica, introduciremos este concepto porla relación que posee con las gramáticas atribuidas. − El segundo capítulo es el que muestra el contexto del análisis semántico dentro del marco de los procesadores de lenguaje. Detalla los objetivos principales de éste, así como la interacción de esta fase con el resto. − El capítulo 3 introduce el mecanismo más empleado a la hora de definir analizadores semánticos de procesadores de lenguajes:las gramáticas atribuidas (definiciones dirigida por sintaxis). − El siguiente capítulo profundiza en las características más importantes de las gramáticas atribuidas, empleadas para la implementación de un evaluador. − El punto cuarto de este libro muestra cómo pueden evaluarse las gramáticas atribuidas. Se basa en los conceptos y clasificaciones expuestas en el capítulo anterior, ahondando encómo, en función del tipo de gramática atribuida, podremos implementar ésta, empleando distintas técnicas. − El capítulo 6 detalla la parte principal de prácticamente la mayoría de los analizadores semánticos: la comprobación de tipos. Define los conceptos necesarios e indica los objetivos y problemas que deberá solventar un procesador de lenguaje. − Una vez concluidos los capítulos, cuestiones yejercicios propuestos, se presenta un conjunto de apéndices en los que se detalla el código fuente empleado en los

ejemplos de implementación, presentados a lo largo del texto. Éstos también podrán ser descargados de la URL mostrada al final de este prólogo. Finalmente se indica la lista de referencias bibliográficas principales empleadas para escribir este texto. Podrán servir al lector como unmecanismo para ampliar los contenidos aquí introducidos. Por la amplia bibliografía existente en el idioma inglés –además de lo presente en Internet– se ha considerado oportuno hacer empleo de notas al pie de página para indicar, entre otras cosas, la traducción de los términos principales. Para concluir este prólogo, el código fuente empleado en el texto se encuentra en mi página personal, así...