matematicas


Introducción
El diseño de compiladores está lleno de bellos ejemplos, en donde se resuelven problemas complicados del mundo real mediante la abstracción de la esencia del problema en formamatemática.
Éstos sirven como excelentes ilustraciones de cómo pueden usarse las abstracciones para resolver problemas: se toma un problema, se formula una abstracción matemática que capture lascaracterísticas clave y se resuelve utilizando técnicas matemáticas. L a formulación del problema debe tener bases y una sólida comprensión de las características de los programas de computadora, y la solucióndebe validarse y refinarse en forma empírica.
Un compilador debe aceptar todos los programas fuente conforme a la especificación del lenguaje; el conjunto de programas fuente es infinito y cualquierprograma puede ser muy largo, posiblemente formado por millones de líneas de código. Cualquier transformación que realice el compilador mientras traduce un programa fuente debe preservar el significadodel programa que se está compilando. Por ende, los escritores de compiladores tienen influencia no sólo sobre los compiladores que crean, sino en todos los programas que compilan sus compiladores.Esta capacidad hace que la escritura de compiladores sea en especial gratificante; no obstante, también hace que el desarrollo de los compiladores se a todo un reto.


Análisis de léxico
A laprimera fase de un compilador se le llama análisis de léxico o escaneo. El analizador de léxico lee el flujo de caracteres que componen el programa fuente y los agrupa en secuencias significativas,conocidas como lexemas. Para cada lexema, el analizador léxico produce como salida un token de la forma:( nombre-token, valor-atributo) que pasa a la fase siguiente, el análisis de la sintaxis. En el token,el primer componente nombre-token es un símbolo abstracto que se utiliza durante el análisis sintáctico, y el segundo componente valor-a tributo apunta a una entrada en la tabla de símbolos para...