Función Del Analizador léxico

Un analizador léxico y/o analizador lexicográfico es la primera fase de un compilador consistente en un programa que recibe como entrada el código fuentede otro programa (secuencia de caracteres) y produce una salida compuesta de tokens (componentes léxicos) o símbolos. Estos tokens sirven para una posterior etapa del proceso de traducción, siendo la entrada para el analizador sintáctico.

Inducción Estructural

La inducción estructural es una herramienta útil para demostrar propiedades sobre Tipos Abstractos de Datos.

Conjuntos, Relaciones y Funciones

El término conjunto y elemento de un conjunto son términos primitivos y no definidos. De un punto de vista intuitivo parece ser que cualquier colección de objetos puede ser considerado un conjunto.

Una relación R sobre un conjunto A es una relación de orden total si R es de orden parcial, pero además cumple que todos sus elementos están relacionados

A→B, es una función, si f es una relación de A en B, tal que todo elemento de A está relacionado con un único elemento de B. O sea que todos los elementos de A aparecen una única vez en el subconjunto de AxB considerado.

Cardinalidad

Es el número de entidades con la cual otra entidad puede asociar mediante una relación.

Considerando una relación binaria entre el juego de entidades A y el B, la cardinalidad puede ser:

Uno a uno

Uno a muchos ó muchos a uno

Muchos a muchos

Alfabetos, Cadenas y Lenguajes

Un Alfabeto es cualquier conjunto finito, no vacío.

Una cadena sobre Σ es cualquier secuencia de elementos de longitud finita sobre Σ.

Una cadena sobre Σ es cualquier secuencia de elementos de longitud finita sobre Σ.

Especificación Finita de Lenguajes

Un aspecto fundamental de la teoría de la computación es la representación de lenguajes mediante especificaciones finitas. Obviamente, los lenguajes finitos admiten una representación finita: la mera enumeración exhaustiva de sus cadenas. Por lo tanto, el interés reside en trabajar con lenguajes infinitos.

Manejo de los buffers de entrada.

Se mantienen dos apuntadores al buffer de entrada:

APUNTADOR DELANTERO examina hacia delante hasta encontrar una concordancia con un patrón. Una vez determinado el siguiente lexema, el apuntador delantero se coloca en el carácter de su extremo derecho.

APUNTADOR

...