TRABAJO COLABORATIVO 1

FRANCY ELENA TOLOZA

TUTOR: ING. JAIRO ARMANDO RIAO GRUPO: AUTOMATICOS 301405_16 UNAD 2009

1.- Obtener el lenguaje reconocido por el siguiente AFD:

TRABAJO COLABORATIVO 1

A = ({a, b, c}, {q0, q1, q2, q3, q4}, f, q0, {q2}) f(q0, a) = q1 f(q0, b) = q4 f(q0, c) = q4 f(q1, a) = q4 f(q1, b) = q1 f(q1, c) = q2 f(q2, a) = q4 f(q2, b) = q4 f(q2, c) = q2 f(q3, a) = q4 f(q3, b) = q3 f(q3, c) = q2 f(q4, a) = q4 f(q4, b) = q4 f(q4, c) = q4

RESPUESTA:
c

b a q4 b c q2 b a c a q3

a, b, c

a q0

Tabla de transicin
Q/ q0 q1 q2 q3 q4 a q1 q4 q4 q4 q4 b q4 q1 q4 q3 q4 c q4 q2 q2 q2 q4

Entrada q0

Estado inicial

El lenguaje reconocido por el AFD es: ba*b*c* ca*b*c* ab*aa*b*c* ab*cc*aa*b*c* ab*cc*ba*b*c*

2.- Determinar el lenguaje que reconoce el siguiente AFD:

RESPUESTA:

Se debe tener en cuenta que: q+ Es una unin q* Muchas veces un proceso (1,2) ^ n + (3) + ((1,2,3)+(1,2,3) ^ n ) M = { (1,2,3), (q1,q2,q3) } Para este caso q1 es la entrada inicial

Tabla de transicin:
q1 q2 q3 q3 q3 1 q1 2 q1 q2 q3 3

Salida No. q2 (q, ) M = { (1,2,3), (q1,q2,q3), , q1,q3 } Donde: ={(q1,q2,q3)x(1,2),(q2,q3)x(3) q } El lenguaje que reconoce el autmata AFD es: 1*2*311*2*3* 1*2*321*2*3* 1*2*331*2*3*

11.- Encontrar el AFD mnimo equivalente al siguiente AFND:

RESPUESTA: Segn la tabla de transicin la funcin de transicin sera: (q0,0) = { } (q1,0) = {q0} (q2,0) = {q2} (q3,0) = {q1} (q0,1) = {q0, q3} (q1,1) = {q0, q1} (q2,1) = { } (q3,1) = { }

Segn la tabla de transicin el autmata directo sera:

1
1 0

1 0 q3 1 0, 1

q0

q2

AFD
Un AFD o autmata finito determinista es aquel autmata finito cuyo estado de llegada est unvocamente determinado por el estado inicial y el carcter ledo por el autmata.

Formalmente, un autmata finito determinista (AFD) es similar a un Autmata de estados finitos, representado con una 5-tupla (S,,T,s,A) donde: es un alfabeto; S un conjunto de estados; T es la funcin de transicin: ; es el estado inicial; es un conjunto de estados de aceptacin o finales.

AFD
Un autmata finito es llamado determinstico (AFD) cuando su operacin est completamente determinada por su entrada.

Modelo de un AFD
a a b b a a a a
qo q5 q4 q3 q1 q2

b b

b b

a a
cinta de cinta de entrada entrada

Control
finito

AFD
Operacin del Autmata
Cinta dividida en cuadros, con capacidad de slo un smbolo por cuadro. La unidad de proceso es llamada control finito (y puede estar en uno de varios estados (q0, q1, ...). El control finito puede leer el smbolo escrito en cualquier posicin de la cinta, utilizando su cabeza lectora movible, desplazndose nicamente hacia la derecha de la misma. Al inicio la cabeza lectora se posiciona en el cuadro de ms a la izquierda de la cinta y el control finito es situado en su estado inicial (normalmente q0). El AF puede leer solo un smbolo a la vez y posiblemente cambiar de estado. Una vez ledo un smbolo, la cabeza lectora se posiciona automticamente en el cuadrado siguiente , hacia la derecha. De esta manera la siguiente operacin leer el smbolo del siguiente cuadro de la cinta.

OBTENER UN AFD MNIMO ELIMINANDO ESTADOS EQUIVALENTES

Teorema: Al eliminar estados redundantes de un AFD se obtiene el nico AFD mnimo que acepta el mismo lenguaje que el original. Algoritmo: Para cada par de estados (p, q) del autmata Ver si son equivalentes. En caso de que s, entonces eliminar uno de ellos y volver a empezar con otros dos estados. Hasta que no haya estados que eliminar.