Automatas

Definiciones del libro

Funciones del analizador léxico: Es la primera fase de un compilador. Su principal función consiste en leer la secuencia de caracteres del programa fuente, carácter a carácter, y elaborar como salida la secuencia de componentes léxicos que utiliza el analizador sintáctico.

• Palabras reservadas: if, while, do, …

• Identificadores: variables, funciones, tipos definidos por el usuario, etiquetas, …

• Operadores: =, >, <, >=, <=, +, *, …

• Símbolos especiales: ;, ( ), { }, …

• Constantes numéricas. literales que representan valores enteros y flotantes.

• Constantes de carácter: literales que representan cadenas de caracteres.

Componentes Léxicos, patrones y lexemas:

• Token: es un par que consiste en un nombre de token y un valor de atributo opcional. El nombre del token es un símbolo abstracto que representa un tipo de unidad léxica; por ejemplo, una palabra clave especifica o una secuencia de caracteres de entrada que denotan un identificador

• Patrón: es una descripción de la forma que pueden tomar los lexemas de un token. En el caso de una palabra clave como token, el patrón es solo secuencia de caracteres que forman la palabra clave.

• Lexema: es una secuencia de caracteres en el programa fuente, que coinciden con el patrón para un token y que el analizador léxico identifica como una instancia de ese token.

Creación de tabla de tokens:

Token Descripción formal Lexemas del ejemplo

If Caracteres i, f If

Else Caracteres e, l, s, e else

Comparación < o > o <= o >= o == o ¡= <=, ¡=

Id Letra seguida por letra o dígitos Pi, puntuación, D2

Numero Cualquier constante numérica 3.14159, 0 , 6.02e23

Literal Cualquier cosa excepto “, rodeadas por”, s “core dumped”

Errores Léxicos:

• Nombre ilegales de identificadores: un nombre contiene caracteres inválidos.

• Números incorrectos: un número contiene caracteres inválidos o no está formado correctamente.

• Errores en palabras reservadas: caracteres omitidos, adicionales o cambiados de sitio.

• Fin de archivo: se detecta un fin de archivo a la mitad de un componente léxico.

Generadores de analizadores léxicos: Es una herramienta conocida como Lex o Flex, la cual nos permite especificar un analizador léxico mediante la especificación de expresiones regulares para describir patrones de los tokens.

La notación de entrada para esta herramienta es el lenguaje Lex, la cual es en sí, el compilador Lex.

Este transforma los patrones de entrada en un diagrama de transición y genera código en un archivo llamado lex.yy.c que simula

...