Mini Gua para Lenguajes y Autmatas

Definicin de Autmata Finito: Es un modelo matemtico que est

compuesto por estados que reciben un determinado alfabeto y dependiendo de
la cadena recibida realiza una transicin hacia un determinado estado.
Definicin Formal de un Autmata Finito:

Clasificacin de los AF:

Clasificacin de los AF (En palabras de la Maestra):

Tambin conocida
como que significa
cadena vaca.

AFD: Es aquel autmata que se puede encontrar en un estado u otro.

AFND: Es aquel autmata que se puede encontrar en 2 estados a la vez y que
puede contener una transicin hacia .
Definicin de Alfabeto: Un alfabeto es cualquier conjunto finito y no vaco de
elementos que denominan smbolos y los denotaran con el smbolo .
Definicin de Alfabeto (En palabras de la Maestra): Son los smbolos que
acepta el autmata.

#HailGrasa

Definicin de Cadena: Es una secuencia finita de smbolos pertenecientes a

un alfabeto.
Definicin de Lenguaje: Un lenguaje es un conjunto de cadenas, todas ellas
elegidas de algn *donde es un alfabeto.
Significado de * : Cero o ms ocurrencias de.
Significado de + : Una o ms ocurrencias de.
Significado de | : Unin.
Definicin de Compilador: Un compilador es un programa que puede leer un
programa en un lenguaje (lenguaje fuente) y traducirlo en un programa
equivalente en otro lenguaje (el lenguaje destino).
Fases de un Compilador (Quiz no venga):

Funciones del Analizador Lxico:

1. Leer los caracteres de la entrada del programa fuente, agruparlos en
lexemas y producir como salida una secuencia de tokens para cada
lexema.
2. Elimina espacios en blanco, tabuladores y saltos de lnea.
3. Cuenta las lneas y los caracteres del cdigo fuente para indicar posibles
errores en el cdigo.

#HailGrasa

Definicin de Token: Un token es un par que consiste en un nombre de

token y un valor de atributo opcional. El nombre del token es un smbolo
abstracto que representa un tipo de unidad lxica (podramos llamarle
categora); por ejemplo, una palabra clave especfica (palabra reservada) o una
secuencia de caracteres de entrada que denotan un identificador (id).
Definicin de Patrn: Es una descripcin de la forma que pueden tomar los
lexemas de un token. En el caso de una palabra clave como token, el patrn
es slo la secuencia de caracteres que forman la palabra clave.

Podramos decir que el patrn es aquel que te ayuda a identificar en

que categora de token cae un determinado Lexema.

Definicin de Lexema: Es una secuencia de caracteres en el programa

fuente, que coinciden con el patrn para un token.
Patrn

Reglas para los Token:

Acciones para la recuperacin de errores (Quiz no venga):

Expresin regular para un Identificador (ID): Letra_ (Letra_ | Dgito)*

#HailGrasa

Operacines con los Lenguajes:

Ejemplos de Patrones:

Token que se elimina en el analizador lxico:

xito

en el examen :v

#HailGrasa