Ao de la Integracin Nacional y del Reconocimiento de nuestra Diversidad UNIVERSIDAD NACIONAL DE UCAYALI Facultad de Ingeniera de Sistemas e Ingeniera Civil

Tema: Informe de las palabras reservadas del video de compiladores Docente: Ing. Eric Vsquez Meza

Curso:

Compiladores

Alumnos: Pizango Zuta, Deivis

Ciclo: VI

Pucallpa Ucayali 2012

 Autmata de anlisis Un autmata es un modelo matemtico para una mquina de estado finita (FSM sus siglas en ingls). Una FSM es una mquina que, dada una entrada de smbolos, "salta" a travs de una serie de estados de acuerdo a una funcin de transicin (que puede ser expresada como una tabla). En la variedad comn "Mealy" de FSMs, esta funcin de transicin dice al autmata a qu estado cambiar dados un determinado estado y smbolo. La entrada es leda smbolo por smbolo, hasta que es "consumida" completamente (piense en sta como una cinta con una palabra escrita en ella, que es leda por una cabeza lectora del autmata; la cabeza se mueve a lo largo de la cinta, leyendo un smbolo a la vez) una vez la entrada se ha agotado, el autmata se detiene. Dependiendo del estado en el que el autmata finaliza se dice que este ha aceptado o rechazado la entrada. Si ste termina en el estado "acepta", el autmata acepta la palabra. Si lo hace en el estado "rechaza", el autmata rechaz la palabra, el conjunto de todas las palabras aceptadas por el autmata constituyen el lenguaje aceptado por el mismo. Aplicacin:

 Algoritmo LR1

 Analizador sintctico Es la fase del analizador que se encarga de chequear el texto de entrada en base a una gramtica dada. Y en caso de que el programa de entrada sea vlido, suministra el rbol sintctico que lo reconoce. En teora, se supone que la salida del analizador sintctico es alguna representacin del rbol sintctico que reconoce la secuencia de tokens suministrada por el analizador lxico. En la prctica, el analizador sintctico tambin hace:

Acceder a la tabla de smbolos (para hacer parte del trabajo del analizador semntico). Chequeo de tipos (del analizador semntico). Generar cdigo intermedio. Generar errores cuando se producen.

En definitiva, realiza casi todas las operaciones de la compilacin. Este mtodo de trabajo da lugar a los mtodos de compilacin dirigidos por sintaxis. Aplicacin: Es usado para generar diagramas de lenguajes que usan flexin gramatical, como los idiomas romances o el latn. Los lenguajes habitualmente reconocidos por los analizadores sintcticos son los lenguajes libres de contexto. Cabe notar que existe una justificacin formal que establece que los lenguajes libres de contexto son aquellos reconocibles por un autmata de pila, de modo que todo analizador sintctico que reconozca un lenguaje libre de contexto es equivalente en capacidad computacional a un autmata de pila.

 La gramtica

Fichero de texto Los ficheros de texto son la forma que se utiliza en programacin (informtica) parar salvar los datos (variables y valores) procesados por los programas y que stos, los datos, no tengan que ser introducidos constantemente para su posterior reprocesamiento por el programa. En los ficheros de texto la informacin se guarda como caracteres, codificados en ASCII u otras codificaciones de texto, lo que los hace eficaces a la hora de guardar textos, y nmeros pequeos; al contrario de los ficheros binarios, que son tiles para guardar nmeros medios y grandes. Aplicacin: A pesar de que los documentos de texto estn hechos principalmente para su lectura por humanos, son usados comnmente como una forma de almacenamiento de muchos programas. Los archivos de texto tienen algunas ventajas, incluso en almacenamiento de informacin, debido a que evitan ciertos problemas que tienen los archivos binarios. Adicionalmente, cuando ocurre algn tipo de corrupcin de datos, es ms fcil para un humano arreglar problemas en un archivo de texto.

 Componentes lxicos Un token o tambin llamado componente lxico es una cadena de caracteres que tiene un significado coherente en cierto lenguaje de programacin. Ejemplos de tokens, podran ser palabras clave (if, else, while, int,..), identificadores, nmeros, signos, o un operador de varios caracteres, (por ejemplo, :=). Son los elementos ms bsicos sobre los cuales se desarrolla toda traduccin de un programa, surgen en la primera fase, llamada anlisis lxico, sin embargo se siguen utilizando en las siguientes fases (anlisis sintctico y anlisis semntico) antes de perderse en la fase de sntesis. Analizador lxico

 Tabla de smbolos

En informtica, una tabla de smbolos es una estructura de datos que usa el proceso de traduccin de un lenguaje de programacin, por un compilador o un intrprete, donde cada smbolo en el cdigo fuente de un programa est asociado con informacin tal como la ubicacin, el tipo de datos y el mbito de cada variable, constante o procedimiento. Token

Error sintctico Los errores en la programacin pueden ser de los siguientes tipos: Lxicos, producidos al escribir mal un identificador, una palabra clave o un operador. Sintcticos, por una expresin aritmtica o parntesis no equilibrados. Semnticos, como un operador aplicado a un operando incompatible. Lgicos, puede ser una llamada infinitamente recursiva. El manejo de errores de sintaxis es el ms complicado desde el punto de vista de la creacin de compiladores. Nos interesa que cuando el compilador encuentre un error, se recupere y siga buscando errores. Por lo tanto el manejador de errores de un analizador sintctico debe tener como objetivos: Indicar los errores de forma clara y precisa. Aclarar el tipo de error y su localizacin. Recuperarse del error, para poder seguir examinando la entrada. No ralentizar significativamente la compilacin. Un buen compilador debe hacerse siempre teniendo tambin en mente los errores que se pueden producir; con ello se consigue Simplificar la estructura del compilador. Mejorar la respuesta ante los errores.