Mauricio Zapata Correa

 Analizador Léxico

El analizador léxico es la primera fase de un compilador. Su principal función consiste en leer los
caracteres de entrada y elaborar como salida una secuencia de componentes léxicos que utiliza el
analizador sintáctico para hacer el análisis.
Funciones del Analizador Léxico

1. Convierte el programa fuente en una cadena de tokens

o Para reconocer el token usa un patrón, una regla que describe como se forman las
cadenas que corresponden a un token.
2. Salta comentarios y espacios en blanco (tabuladores, saltos de línea...)
3. Tener el registro de la línea del archivo fuente que está siendo analizada
4. Genera mensajes de error léxico, y se recupera del error
5. Convierte los valores literales al tipo que corresponda
6. Si la entrada debe obedecer a un formato, verifica el formato Ej. Fortran, Cobol

 Autómatas - Autómatas Finitos

Un autómata finito es un modelo matemático de una máquina que acepta cadenas de un lenguaje
definido sobre un alfabeto A. Consiste en un conjunto finito de estados y un conjunto de
transiciones entre esos estados, que dependen de los símbolos de la cadena de entrada. El
autómata finito acepta una cadena x si la secuencia de transiciones correspondientes a los
símbolos de x conduce desde el estado inicial a un estado final.

 Diagrama de Estados

Un diagrama de estados, en ocasiones conocido como diagrama de máquina de estados, es un tipo

de diagrama de comportamiento en el Lenguaje Unificado de Modelado (UML) que muestra
transiciones entre diversos objetos. Usa nuestro software de diagramas UML colaborativo y
genera tu propio diagrama de máquina de estados al crear una cuenta gratuita de Lucidchart hoy
mismo.

 Matriz de transiciones- Estados equivalentes

Dos máquinas secuenciales son equivalentes si la relación entre la entrada y la salida son idénticas
para todas las posibles secuencias de entrada. Un diseño en particular puede ser representado por
varios diagramas de estado equivalentes. Los costos de implementación pueden ser diferentes; en
general los diagramas que tengan más estados requieren más elementos de memoria y por lo
tanto también necesitan más redes combi nacionales para determinar el próximo estado. Dos
estados son equivalentes si no puede distinguirse entre ellos. Esto implica que, si se aplica
cualquier secuencia de entrada, a partir de esos estados, se observan iguales secuencias de salida.
Puede determinarse, por inspección, que dos estados son equivalentes si tienen iguales renglones
en la matriz de transiciones. Es decir, para iguales entradas van a iguales estados próximos o
futuros, con salidas iguales. Uno de estos estados puede removerse sin alterar la conducta de la
máquina. Esto se logra modificando la tabla de modo que no se invoque el estado eliminado sino a
su equivalente.

 Expresiones Regulares

En cómputo teórico y teoría de lenguajes formales una expresión regular, también conocida
como regex, regexp1 o expresión racional,23 es una secuencia de caracteres que forma un patrón
de búsqueda, principalmente utilizada para la búsqueda de patrones de cadenas de caracteres u
operaciones de sustituciones. Por ejemplo, el grupo formado por las
cadenas Handel, Händel y Haendel se describe con el patrón "H(a|ä|ae)ndel". La mayoría de las
formalizaciones proporcionan los siguientes constructores: una expresión regular es una forma de
representar los lenguajes regulares (finitos o infinitos) y se construye
utilizando caracteres del alfabeto sobre el cual se define el lenguaje.

Referencias.
https://sites.google.com/site/compiladoresaplcrl/home

https://support.office.com/es-es/article/acerca-de-los-diagramas-de-estado-uml-8facfd43-bd82-
49f5-a750-20c568b5a9b5

http://www2.elo.utfsm.cl/~lsb/elo211/clases/c09.pdf

https://es.wikipedia.org/wiki/Expresi%C3%B3n_regular