Teoria de compiladores
TEORIA DE COMPILADORES
La Teoría de la Computabilidad ha permitido descubrir muchas propiedades de los Lenguajes y sus reconocedores, y ha permitido también el diseño de los Lenguajes deprogramación y de sus correspondientes Autómatas encargados de reconocerlos y traducirlos a expresiones más simples: los compiladores.
El conocimiento sobre los conceptos teóricos de los LenguajesFormales se remonta a 1936, fecha anterior al surgimiento de las computadoras electrónicas digitales.
Como dato interesante, se puede comentar que el primer compilador de Fortran requirió para suimplantación de 18 años de trabajo en grupo. Con las nuevas técnicas, estudiadas en este curso, un compilador de calidad aceptable se puede diseñar en un curso de un semestre.
Para diseñar lasetapas de análisis de un compilador, es necesario saber diseñar e implementar los Autómatas, ya que el analizador léxico es un Autómata Finito y los analizadores sintácticos y semánticos songeneralmente Autómatas de Pila.
En la siguiente figura se muestran las etapas de un compilador, consideradas por Aho en su texto sobre la materia.
TOKEN O COMPONENTE LÉXICO
Es cualquiera delos símbolos terminales que se manejan en la construcción de sentencias de un programa en un Lenguaje de alto nivel. Se define como un par ordenado:
Token = (Tipo, Valor).
EJEMPLO:
Sea discrim = b* b - 4 * a * c ; if ( discrim > 0 ) ... determinar los tokens de este fragmento de programa en Pascal.
(Identificador, “discrim”) (operador, =) (identificador, “b”)
(operador, *) (operador,-) (constante, 4) (identificador, “a”) (identificador, “c”) (separador, ;)
(palabra reservada, if) (agrupación izq., ( ) (op. relación, >)
(constante, 0) (agrupación der., ) ) ... ...CASO DE ESTUDIO
Hacer un seguimiento de la línea de programa posicion := inicial + velocidad * 60, y explicar como se va procesando en cada una de las etapas de un compilador. Enmarcada se irá...
Regístrate para leer el documento completo.