Lenguajes y Autmatas I

Unidad I
Anlisis Semntico

 Ajuste significativo Comprobacin de tipos: operando-operador Comprobacin del flujo de control: for(;;) { w= a+2; }

Anlisis semntico

Contina

Comprobacin de unicidad int a; char a; //una sola vez

Comprobacin relacionadas con nombres Cmo se realiza la comprobacin de unicidad? A travs de la tabla de smbolos.

Anlisis semntico

Contina

Tabla de smbolos:
Estructura en memoria Almacena informacin sobre los tipos Se debe de agregar una estructura en memoria que permita identificar nombres. Los generadores de analizadores lxicos ya tienen una tabla de smbolos primitivos.

Sistemas de tipo:
Tipo bsico: entero, carcter, real Nombres de tipo

Anlisis semntico

Contina

Constructores de tipo: estructuras, objetos Apuntadores: referencias a tipos Funciones a = suma();

Sistema de tipos: conjunto de reglas que determinan el criterio para asignar expresiones de tipo a las diferentes partes del cdigo fuente. Los sistemas de tipos dependen de los lenguajes.

Anlisis semntico

rboles de expresiones

Tipos de rboles

rboles etiquetados y rboles de expresiones rboles binarios rboles multicamino rboles-B rboles-B+

rboles etiquetados
Cuando se asocia una etiqueta, o valor, a cada nodo del rbol, a ste se le denomina rbol etiquetado. La etiqueta de un nodo no es el nombre del nodo, sino que es informacin que est incluida en el nodo. Es posible cambiar la etiqueta del nodo sin modificar su nombre.

rboles de Expresiones
Un caso particular de los rboles etiquetados lo constituyen los rboles de expresiones, utilizados para la representacin de expresiones aritmticas. Las reglas para representar una expresin mediante un rbol etiquetado son: 1.- Cada hoja est etiquetada con un operando y slo consta de ese operando. 2.- Cada nodo interior est etiquetado con un operador.

Ejemplo 1: la expresin a+b se representara:

rboles binarios
Es un rbol donde cada nodo tiene como mximo dos hijos.

rboles multicamino
Cada nodo tiene un nmero arbitrario de hijos y se mantiene un orden en l.

rboles-B
Formalmente se define de la siguiente manera:
1. Cada nodo, excepto la raz, contiene entre n y 2n elementos. Se utilizar m para indicar el nmero de elementos por pgina. 2. El nodo raz tiene al menos dos descendientes. 3. Las hojas estn todas al mismo nivel.

rboles-B

Los rboles-B+ se han convertido en la tcnica ms utilizada para la organizacin de archivos indexados.
La principal caracterstica de estos rboles es que todas las claves se encuentran en las hojas (a diferencia de los rboles-B, en que las claves podan estar en las pginas intermedias) y por lo tanto cualquier camino desde la raz hasta alguna de las claves tienen la misma longitud.

1. Revisar el DTE de operadores 2. Generar gramtica. 3. Generar el rbol de expresiones. 4. Aplicarlo a su proyecto e integrarlo al manual de prcticas

Actividad 1