Ensayo Análisis Semántico

3533775247650
3700030000
455003536315660006638290Alma Cecilia Garcia Zepeda360000Alma Cecilia Garcia Zepedacentercenter950009500044000341947525002514604000070000455003536315690006939915370000455003536315350003520440Análisis Semántico
Ensayo
3600028000Análisis Semántico
Ensayo


Ensayo Análisis Semántico
Para llevar a cabo el desarrollo del análisis semántico previamente se debe contarcon el desarrollo y correcto funcionamiento de los análisis léxico, el cual realiza una lectura de las líneas de código ingresadas por el usuario, detectando token’s, palabras reservadas, etc., de tal manera que evalué cada una de ellas, determinando que estas estén correctamente formadas; y el análisis sintáctico, cuya función es el analizar la estructura del código proporcionando por elusuario, aquí se determina si dicha estructura cumple con los estándares correctos del lenguaje a analizar. Validadas la faces de análisis léxico y sintáctico, por consiguiente entra en acción el análisis semántico, el cual se encarga de validar el contexto, congruencia y sentido de las líneas de código generadas por el usuario.
El análisis semántico se conforma por una notación y un sistema de tiposdefinidos. La notación está compuesta por DDS (Definición Dirigida por la Sintaxis), que especifica el valor de los atributos, pero no especifica la forma de evaluación; y el EDT (Esquema de Traducción), es la gramática independiente del contexto, en el que se inserta segmentos de código también llamadas como acciones semánticas en la parte derecha de reglas de producción gramática, las cualescalculan las reglas y atributos asociados a los nodos del árbol sintáctico.
La Definición Dirigida por Sintaxis DDS, conlleva a la generación de código, al guardar y consultar de la información dentro de la traducción sintáctica y la notificación de mensajes de error. Las DDS contienen símbolos y producciones, cada símbolo tiene un conjunto de atributos asociados y cada producción se asocia a unconjunto de acciones semánticas. Las acciones semánticas se encuentran intercaladas con los símbolos del consecuente.
El Esquema de Traducción EDT es evaluado por un recorrido profundo del árbol de análisis sintáctico. El EDT es dependiente del árbol sintáctico ya que con ello aplica las acciones semánticas en las reglas con el orden de recorrido primero-profundo.
El sistema de tipos de unlenguaje de programación, es el conjunto de reglas del lenguaje, que es traducido e interpretado por el compilador en el que permite asignar expresiones de tipo a las instancias de uso de los objetos del programa. El sistema de tipos se encarga de asociar conjuntos de expresiones o variables con sus respectivos tipos y otros objetos definidos dentro de un programa, como por ejemplo de tipo entero,flotante, cadena, boolean, etc. El sistema de tipo se divide en tipo básico, que son los ya mencionados boolean, char, interger, real, error_tipo void, etc., y el resultado de aplicar un constructor de tipos a un tipo básico, como son las matrices las cuales son representadas mediante el uso de array’s; productos, que son los resultados de las operaciones dadas entre expresiones de distintos tiposcompatibles; apuntadores, es representado con un pointer(T) con el cual apunta un tipo requerido; y por ultimo las funciones, son algoritmos que describen una secuencia de órdenes, mismas que cumplen con una tarea específica.
Entre los atributos podemos encontrar dos tipos que son los heredados y los sintetizados, los atributos de tipo sintetizados son a aquellos en los que N hereda del nodo padre asus nodos hermanos, mientras que en los de tipo heredado especifican los atributos, en pocas palabras las reglas semánticas, esto es, las reglas asociadas a las reglas semánticas, obteniendo como resultado la DDS.
El sistema de tipos cuenta con reglas semánticas para comprobar los tipos, se le conoce como comprobador de tipos, este verifica que el uso de los objetos en los constructores que...