Professional Documents
Culture Documents
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*
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*
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) = { }
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.