Professional Documents
Culture Documents
Ejercicio 1: Disear un autmata finito que acepte una cadena formada por 4 bits, debiendo ser el primer elemento igual al tercero.
Ejercicio 2: Disear un autmata finito que acepte aquellas cadenas de longitud 3 (tres), que tengan dos smbolos iguales seguidos, cuyo alfabeto est formado por dos smbolos distintos (S = {a, b}).
MINIMIZACIN DE AUTMATA FINITO Minimizar y determinar si los siguientes AFD son equivalentes: a) eliminar estados no conexos, b) minimizar cada autmata (demostracin paso por paso), c) tabla y grafo del AFD minimizado, d) definicin formal del autmata.
f1 A B *C
a) b)
a C B C
b A A B
LOS ESTADOS A Y B, NO SON EQUIVALENTES, POR LO TANTO NO SE MINIMIZA c) y d) iguales al AFD inicial.
f2 A B C *D
a B B D D
b D C B B
Q/E0 = ( C0 = {D}, C1 = {A, B,C}) f(A, a) = B e C1 f(A, b) = D e C0 f(B, a) = B e C1 f(B, b) = C e C1 f(C, a) = D e C0 f(C, b) = B e C1
LOS ESTADOS A, B Y C , NO SON EQUIVALENTES, POR LO TANTO NO SE MINIMIZA Q/E1 = ( C0 = {D}, C1 = {A}, C2 = {B}, C3 = {C} ) c) y d) iguales al AFD inicial. "LOS AUTOMATAS F1 Y F2 NO SON EQUIVALENTES AUTMATA FINITO NO DETERMINISTA: ELIMINACIN DE Ejercicio 1: 1 a,b c,d d b 2 d a c,d b,c
a
b c *d
b c,d c
a)
b) eliminar
b r,s
p
q r s t u *v t,p v s,q v
a)
Determinar si las siguientes cadenas son aceptadas: X1 = bbcc X4 = caa x2 = acbcac X3 = bcacaa x5 = abac
b) eliminar Solucin:
T = { (p,p), (p,q), (p,t), (q,q), (q,r), (q,s), (r,r), (r,q), (r,u), (t,t), (t,q), (u,u), (u,s), (v,v), (v,r),(s,s)} T* = { (p,p), (p,q), (p,t), (p,r), (p,s), (p,u) (q,q), (q,r), (q,s), (q,u) (r,r), (r,q), (r,u), (r,s) (s,s) (t,t), (t,q), (t,r), (t,s), (t,u) (u,u), (u,s) (v,v), (v,r), (v,u), (v,s), (v,q)} CONSTRUCCIN DE AUTMAS FINITOS Dada las siguientes reglas de produccin: P1 = {S ::= l, S::= xX, S::= y Y, Y::= yY, Y::= x, X::= xX, X::=y} P2 = {A ::= 0A, A::=1B, B::= 0C, B::= 0D, C::= 0, C:::= 1B, C::= 1D, D::= 1, D::= 1A} Se pide: a) b) c) la definicin de todos los componentes de la gramtica formal construir A.F. correspondiente la definicin de cada uno de los componentes que define el A.F.
F=F
AUTMATA A PILA Disear un A.P. (por cada items) que verifique si dos nibles ledos, separados por un * (asterisco): a) b) El primero tienen la misma cantidad de 1 que 0 el segundo. El primer nible constituye la imagen refleja del segundo.
SOLUCIN
MQUINA DE TURING Ejercicio 1: Disear una M. De T. que dada una palabra, encuentra las subtiras 00 y las cambie por 11 y las subtiras 11 las cambie por 00. La palabra finaliza cuando se lee un b (blanco). El cabezal se encuentra sobre el 1er. bit de la tira. Ejemplo: Salida: b 010010110011 b b 011110001100 b
Ejercicio 2: Disear un M. De T. que copie el segundo nible sobre el primero, se encuentran separados por un * (asterisco). El cabezal se encuentra sobre el * (asterisco). Ej.:
Entrada: b1001*0011b
Salida:
b0011*0011b