Base de datos

Al trabajar con lenguajes formales, utilizaremos una serie de conceptos basicos. En primer lugar, un alfabeto es un conjunto finito de simbolos. No nos interesa la naturaleza de los simbolos.

 Analizador léxico
Concepto
Para que el analizador léxico consiga el objetivo de dividir la entrada en partes, tiene que poder decidir por cada una de esas partes si es un componente separado y, en sucaso, de que tipo. De forma natural, surge el concepto de categoría léxica, que es un tipo de símbolo elemental del lenguaje de programación. Por ejemplo: identificadores, palabras clave, númerosenteros, etc.
En general, no basta con saber la categoría a la que pertenece un componente, en muchos casos es necesaria cierta información adicional. Por ejemplo, será necesario conocer el valor de unentero o el nombre del identificador. Utilizamos los atributos de los componentes para guardar esta información.
Un último concepto que nos será útil es el de lexema: la secuencia concreta decaracteres que corresponde a un componente léxico.

Características

Esta etapa está basada usualmente en una máquina de estados finitos. Esta máquina contiene la información de las posibles secuenciasde caracteres que puede conformar cualquier token que sea parte del lenguaje (las instancias individuales de estas secuencias de caracteres son denominados lexemas). Por ejemplo, un token denaturaleza entero puede contener cualquier secuencia de caracteres numéricos. 








































Analizador sintáctico

Concepto
El analizadorsintáctico (o parser) es una de las partes de un compilador que transforma su entrada en un árbol de derivación.
El análisis sintáctico convierte el texto de entrada en otras estructuras (comúnmenteárboles), que son más útiles para el posterior análisis y capturan la jerarquía implícita de la entrada. Un analizador léxico crea tokens de una secuencia de caracteres de entrada y son estos tokens...