Está en la página 1de 15

AUTOMATAS FINITOS Y LENGUAJES FORMALES

PROF. DIANA CAROLINA RIVERA VELASCO

CONTENIDO

Autmata Aplicaciones Conceptos bsicos:


Alfabeto Palabra Lenguaje Operaciones con lenguajes

Autmatas finitos
AFD AFN

Representaciones

AUTOMATA

Maquina conceptual capacidad de procesar cadenas de texto.

APLICACIONES -Reconocedores de lenguajes. Lenguajes de programacin anlisis lxico. - Comparacin de cadenas.

- Ejemplo: para una palabra buscar y reemplazar.

CONCEPTOS BASICOS
ALFABETO Un alfabeto es un conjunto finito no vaco de smbolos. 1= {A,B,C,..Z,a,b,c,..z}

2= {0, 1} 3 = {a, b} 4 = {na, pa, bra, la} 5 = {<HTML>,</HTML>,<BODY>,</BODY>} 6 = {|} 7 = {a, ab, aab}

CONCEPTOS BASICOS
PALABRA Una secuencia finita de smbolos de un alfabeto es una palabra sobre dicho alfabeto. 1 : CASA, MESA, moto, carro. 2 : 0, 1, 00, 01, 11, 000, 1001101 3 : a, aa, abb, ababa 4 : napa, palabra 7 : a, ab, aab, aaab, abab

CONCEPTOS BASICOS
LENGUAJE Conjunto de palabras sobre el alfabeto o cualquier subconjunto del universo sobre algn alfabeto. EJEMPLOS L = es el lenguaje vacio (que no contiene ninguna palabra), |L| = 0 L = {} es el lenguaje que solamente contiene la palabra vacio, |L| = 1. sea = {a, b} L1 = { , a, b} Lab = {anbn | n IN } es decir, el lenguaje que contiene todas las palabras con un nmero de as seguidos por el mismo nmero de bs.

CONCEPTOS BASICOS

OPERACIONES CON LENGUAJES


Sea L ={A,B,Z,a,b,z} D= {0,1,,9}

Unin L U D L|D cadenas de longitud 1 Concatenacin LD cadenas de longitud 2 Cerradura de kleene : L* Cerradura positiva: D+

AUTOMATAS FINITOS
Un autmata finito (AF) o mquina de estado finito es un modelo matemtico que realiza cmputos en forma automtica sobre una entrada para producir una salida. Este modelo est conformado por un alfabeto, un conjunto de estados y un conjunto de transiciones entre dichos estados. Su funcionamiento se basa en una funcin de transicin, que recibe a partir de un estado inicial una cadena de caracteres pertenecientes al alfabeto (la entrada), y que va leyendo dicha cadena a medida que el autmata se desplaza de un estado a otro, para finalmente detenerse en un estado final o de aceptacin, que representa la salida.

AUTOMATAS FINITOS
Los autmatas finitos son reconocedores solo dicen si o no ante una determinada entrada. Entre ellos podemos encontrar:

AFD (autmatas finitos deterministicos) AFN (autmatas finitos no deterministicos)

AUTOMAS FINITOS

Formalmente, un autmata finito es una 5-tupla (Q, , q0, T, F) donde:


Q es un conjunto finito de estados es un alfabeto finito q0 es el estado inicial T es una funcin de transicin F es un conjunto de estados finales o de aceptacin.

AUTOMATAS FINITOS
inicio
1 b 2 a 3 2 Para la codificacin de un Autmata existe lo que se Denomina tabla de transicin De estados, cuyas filas Corresponden a los estados y Los smbolos de entrada a las Columnas.

ESTA DOS 1 2 3

a {3}

b {2}

c {3}

AUTOMATAS FINITOS DETERMINISTICOS

Existe un camino o una transicin para cada smbolo del alfabeto.


inicio 1 b 2 a

3 2

AUTOMATAS FINITOS NO DETERMINISTICOS


No se determina un nico camino para un smbolo del lenguaje. Un AFN es un producto antes de generar el AFD.

inicio 1 a 2 a 3 2

REPRESENTACIONES

Un AF sea determinantico o no deterministico se puede representar formalmente utilizando expresiones regulares. O una ER se puede expresar grficamente utilizando un AF.
EJEMPLO: A partir de la siguientes expresiones regulares construir el autmata finito que lo represente.
L (L|D) (a* 1 b*)c*

REPRESENTACIONES

A partir del siguiente autmata construir la expresin regular que lo represente.


1 b 2 a

inicio

2
c