Lpez Maza Jessica Programacin de Sistemas

1. Arboles de expresiones.
Los rboles de expresiones son una representacin de datos en una estructura de datos jerrquica, est compuesto por uno o ms nodos, que se clasifican en nodo padre, nodo hijo y hasta nodo hermanos. Un nodo es un punto de interseccin en el cual se conectan dos o ms elementos. Las acciones que realizan son como hacer llamadas a mtodos o a operaciones aritmticas.

2. Acciones semnticas de un analizador sintctico.

Dependiendo del tipo de sentencias, las acciones semnticas pueden agruparse en: Sentencias de Declaracin: Son las que completan la seccin de tipos de la Tabla de Smbolos. Sentencias ejecutables: Son las que realizar comprobaciones de tipos entre los operandos implicados. Funciones y procedimientos: Aqu se comprueba el nmero, orden y tipo de los parmetros actuales en cada llamada a una funcin o procedimiento.

2. Comprobaciones de tipos en expresiones.

La comprobacin de tipos tiene como funcin checar que haya relacin entre el tipo y el contexto previsto con anterioridad, tambin checa el orden en el cual se deben realizar las expresiones aritmticas (prioridades). De mayor a menor prioridad: * , /, % +, <, <=, >=, > ==, != && || Tambin se pueden detectar errores como lmites de abstraccin o algn mal uso de estructuras.

Lpez Maza Jessica Programacin de Sistemas

4. Pila semntica en un analizador sintctico.

La pila semntica en un analizador sintctico se refiere a la identificacin de aquellos procesos que necesitan analizarse con forme vayan apareciendo. En compiladores de un solo paso, las llamadas a las rutinas semnticas se realizan directamente desde el analizador sintctico y son dichas rutinas las que llaman al generador de cdigo. El instrumento ms utilizado para conseguirlo es la gramtica de atributos. En compiladores de dos o ms pasos, el anlisis semntico se realiza independientemente de la generacin de cdigo, pasndose informacin a travs de un archivo intermedio, que normalmente contiene informacin sobre el rbol sintctico en forma linealizada (para facilitar su manejo y hacer posible su almacenamiento en memoria auxiliar). En cualquier caso, las rutinas semnticas suelen hacer uso de una pila semntica que contiene la informacin semntica asociada a los operandos y a veces a los operadores en forma de registros semnticos.

5. Esquema de traduccin.
Un esquema de traduccin es una gramtica independiente de contexto en la que se asocian atributos con los smbolos gramaticales. Un esquema de traduccin consta de: Una gramtica in-contextual que le sirve de soporte. Un conjunto de atributos asociados a los smbolos terminales y no terminales. Un conjunto de acciones asociadas a las partes derechas de las reglas. Dividimos los atributos en dos grupos: Atributos heredados. Atributos sintetizados.

6. Generacin de la tabla de smbolos y de direcciones.

Una tabla de smbolos es una estructura de datos que se genera en tiempo de ejecucin, almacena la informacin definida por el usuario y la informacin generada en el proceso de ejecucin. Y de una tabla de smbolo obtenemos la siguiente informacin: Genera nombre de identificadores Da informacin asociada a un nombre Dice como se asocia la informacin a un nombre Dice como accesar a la informacin

Lpez Maza Jessica Programacin de Sistemas

7. Manejo de errores semnticos.

Un compilador no solo tiene que revisar la sintaxis de cdigo fuente, sino tambin la semntica de este. Al igual que en los lenguajes naturales (espaol, ingls, etc.) en los lenguajes de programacin existen reglas semnticas para definir el significado de los programas, estatutos, expresiones, etc. Por ejemplo un error semntico es usar (en pascal o java) un identificador que no fue anteriormente declarado. Otro ejemplo de error semntico en un programa es cuando este es compilado y no se detectan errores pero el momento de ser ejecutado este programa no funciona correctamente.