PROGRAMACION




Materia:
Programación de sistemas

Nombre del Trabajo:
Unidad 3. Análisis léxico
Unidad4. análisis sintáctico
unidad5.analisis semántico


ALUMNO

Docente:

Horario:
Lunes-viernes/18:00-19:00hrs
INDICE

3.0 ANALISIS LEXICO


3.1 Introducción a los Autómatas finitos y expresiones regulares.
3.2 Analizador de léxico.
3.3 Manejo de localidades temporales de memoria(buffers).
3.4 Creación de tablas de símbolos.
3.5 Manejo de errores léxicos.
3.6 Generadores de código léxico: Lex y Flex.

4.0 ANALISIS SINTACTICO


4.1 Introducción a las Gramáticas libres de contexto y árboles de derivación.
4.2 Diagramas de sintaxis.
4.3 Precedencia de operadores.
4.4 Analizador sintáctico.
4.4.1 Analizador descendente (LL).
4.4.2 Analizador ascendente(LR, LALR.)
4.5 Administración de tablas de símbolos.
4.6 Manejo de errores sintácticos y su recuperación.
4.7 Generadores de código para analizadores sintácticos: Yacc, Bison



5.0 ANALISIS SEMANTICO


5.1 Analizador semántico
5.2 Verificación de tipos en expresiones.
5.3 Conversión de tipos.
5.4 Acciones agregadas en un analizador sintáctico descendente (top-down).
5.5 Pilasemántica en un analizador sintáctico ascendente (bottom-up).
5.6 Administración de la tabla de símbolos.
5.7 Manejo de errores semánticos.











INTRODUCCION

3.0 ANALISIS LEXICO


El análisis léxico se enfoca en la primera parte en la que el programa fuente empieza a trabajar de izquierda a derecha y va agrupando en componentes léxicos o dichos como TOKENS. Va generandopruebas de los símbolos del lenguaje como podría ser (palabras claves, operadores).
Un analizador léxico o analizador lexicográfico (en inglés scanner) es la primera fase de un compilador consistente en un programa que recibe como entrada el código fuente de otro programa (secuencia de caracteres) y produce una salida compuesta de tokens (componentes léxicos) o símbolos. Estos tokens sirvenpara una posterior etapa del proceso de traducción, siendo la entrada para el analizador sintáctico (en inglés parser).














MARCO TEORICO


El proceso de análisis sintáctico y la ejecución son ahora dos pasos completamente separados, no se procederá a la ejecución del código de cualquier archivo hasta que éste en su totalidad, así como todo el código requerido se hayaanalizado completa y satisfactoriamente.
Uno de los nuevos requisitos introducidos con esta separación es que todos los archivos requeridos y de inclusión tienen que ser sintácticamente completos ahora. Ya no es permitida la separación de diferentes segmentos de una estructura de control a través de varios archivos. Esto quiere decir que ahora no puede iniciar un ciclo for o while, una sentencia ifo un bloque switch en un archivo, y tener el final del ciclo, sentencias else, endif, case o break en un archivo diferente.

















































3.1 Introducción a los Autómatas finitos y expresiones regulares.

Existen algoritmos que relacionan la especificación de tokens -expresiones regulares-,
Con elreconocimiento de éstos -autómatas finitos-. Es posible dada una expresión regular obtener el AFD que reconozca las cadenas del lenguaje denotado por la expresión regular. También es posible obtener el AFND que reconozca el lenguaje representado por dicha expresión regular.
El algoritmo que permite construir el autómata finito determinístico está fuera del alcance de estas notas ( el alumno no tiene losprerrequisitos para su estudio en este curso).
Sin embargo, el algoritmo utilizado para la construcción del autómata finito no determinístico AFND, es relativamente sencillo de aplicar, ya que se basa en reglas simples. Existen muchas variantes de este algoritmo denominado “Algoritmo de Thompson”.
Este algoritmo es dirigido por sintaxis, es decir, usa la estructura sintáctica de la expresión...