INTRODUCCION A LOS AUTOMATAS FINITOS Y EXPRESIONES REGULARES Los autmatas finitos.

Son las posibles cadenas que acepta un lenguaje. Se compila una expresin regular en un reconocedor construyendo un diagrama de transicin que es una instrumentacin de un modelo formal denominado autmatas finitos, conocidos tambin como mquinas de estado (con menos frecuencia en la actualidad) mquinas finito o secuenciales. Es la representacin grfica de las posibles cadenas que acepta un lenguaje dentro de un conjunto de smbolos, se conforma por una quntupla donde:

ANLISIS LXICO

Las Expresiones Regulares: Son los posibles smbolos que puede aceptar un lenguaje los cuales se pueden representar con un autmata. Conjunto de smbolos para aceptar una palabra reservada. Una expresin regular es una frmula para denotar "ciertos" lenguajes. Advirtase que decimos lenguaje, no cadena de caracteres. Una expresin regular nica denota un conjunto de cadenas, es decir un lenguaje, no una simple cadena. Las expresiones regulares se pueden especificar unidades lxicas presentes en un lenguaje de programacin. No todos usar para los lenguajes pueden ser expresados utilizando una expresin regular. Sea un alfabeto La expresin regular sobre y los conjuntos que denotan se definen de manera recursiva como sigue: ANALIZADOR LXICO El analizador lxico lee los caracteres del programa fuente, y verifica que correspondan a una secuencia lgica (identificador, palabra reservada etc.). Esta secuencia de caracteres recibe el nombre componente lxico o lexema. FUNCIN DEL ANALIZADOR LXICO. Su principal funcin consiste en leer los caracteres de entrada y elabora como salida una secuencia de componentes lxicos (tokens) que utiliza el analizador sintctico para hacer el anlisis . Es la parte del compilador que lee el texto fuente. Recibida la orden "obtn el siguiente componente lxico" del analizador sintctico, el analizador lxico lee los caracteres de entrada pueda identificar el siguiente componente lxico. hasta que

Elimina del programa fuente comentarios, espacios en blanco, caracteres TAB y de lnea nueva. Otra funcin es relacionar los mensajes de error del compilador con el programa fuente. En algunos compiladores, el analizador lxico se encarga de hacer una copia del programa fuente en el que estn marcados los mensajes de error.

ANALIZADOR LEXICO DENTRO DE UN COMPILADOR En algunas ocasiones, los analizadores lxicos se dividen en dos fases; la primera llamada "examen", y la segunda, "anlisis lxico". El examinador se encarga de realizar tareas sencillas, que el analizador lxico es el que realiza las operaciones ms mientras complejas. El objetivo del anlisis lxico es gestionar el "bajo nivel" de la entrada (en este caso, texto) yuministrarle al analizador sintctico la misma ya "filtrada", es decir, conteniendo s solamente de la gramtica a terminales definir. La relacin entre el analizador lxico y el sintctico son los tokens y la tabla de smbolos, ya la funcin principal del anlisis lxico es leer los caracteres de entrada y genera que como una secuencia de componentes lxicos previamente definidos en expresiones salida regulares. ASPECTOS A CONSIDERAR PARA EL ANALISIS LXICO Un diseo sencillo de un analizador lxico corresponde a unas reglas del lenguaje meramente embargo estas son algunas consideraciones sencillas, sin importantes: { M]va uv} }uo]aa av oa Pauticas, ms fcil ser realizar un compilador, slo previamente se deben considerar las expresiones que regulares. { Ha }v]a ] } ui}a oa (]]v]a o }u]oa }X { Tau] v ui}a oa av}a]o]a o }u]oa}U a las letras del alfabeto y los errores propios de los dispositivos pueden limitar al analizador lxico. El trabajo bsico es reconocer los terminales (que podemos llamar ya unidades lxicas), y parapodemos hacer una tabla con todas las posibilidades que encontraremos en el fichero ello deentrada y agruparlos en los tipos necesarios. la

MANEJO DE LOCALIDADES TEMPORALES DE MEMORIA (BUFFERS) El uso de localidades temporales de memoria es para agilizar el tiempo de compilacin, el manejo de este es por medio de estructuras de datos utilizando memoria dinmica, como se en materias anteriores como estructura de datos, usando esta implementacin vio de diferentes formas que pueden clasificarse de acuerdo a su argumento de bsqueda. CREACIN DE TABLA DE SIMBOLOS Tabla de Smbolos Es una estructura de datos que contiene un registro por cada token o identificador que define los atributos de ellos mismos. La estructura de datos permite encontrar rpidamente el registro para ser almacenado o consultado por otras fases. Cuando el anlisis lxico detecta un token en el programa fuente, este se introduce e la tabla de smbolos, sin embargo, sus atributos no pueden determinarse durante el anlisis lxico. Por ejemplo, dada la siguiente instruccin: Var inicial, velocidad: integer;

El tipo entero no se conoce cuando el analizador lxico pasa por toda la instruccin, las fases restantes introducen informacin sobre los tokens en la tabla y despus hace uso de ella.