CONSTRUCCIN DE AUTMATA FINITO 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

A B *C

C B C

A A B

a) todos los estados son conexos. b) minimizacin: Q/E0 = ( C0 = {C}, C1 = {A, B}) f(A, a) = C e C0 f(B, a) = B e C1

f(A, b) = A e C1 f(B, b) = A e C0 LOS ESTADOS A Y B, NO SON EQUIVALENTES, POR LO TANTO NO SE MINIMIZA c) y d) iguales al AFD inicial. f2 a b

A B C *D

B B D D

D C B B

AUTOMATA F2: a) todos los estados son conexos b) minimizacin: Q/E0 = ( C0 = {D}, C1 = {A, B,C}) f(A, a) = B e C1 f(B, a) = B e C1 f(C, a) = D e C0 f(A, b) = D e C0 f(B, b) = C e C1 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 2 a,b d b a b c *d a) c,d d b a c,d b,c c,d c

Determinar si las siguientes cadenas son aceptadas: X1 = 122 x2 = 122 X3 = 212 .

b) eliminar

Ejercicio 2: Obtener el AFD equivalente a b r,s t,p v s,q v u q s r c q,t r,s q,u

p
q r s t u *v a)

Determinar si las siguientes cadenas son aceptadas: X1 = bbcc x2 = acbcac X3 = bcacaa X4 = caa 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) la definicin de todos los componentes de la gramtica formal b) construir A.F. correspondiente c) la definicin de cada uno de los componentes que define el A.F. P1 a) G1 = ( {x,y}, {S, X,Y}, S, P1)

c) E = {x, y} Q = {S, X, Y, F} q0 = {S} F=F

P2: a) G2 = ( {0,1}, {A, B, C, D, F}, A, P2)

AUTMATA A PILA Disear un A.P. (por cada items) que verifique si dos nibles ledos, separados por un * (asterisco): a) El primero tienen la misma cantidad de 1 que 0 el segundo. b) 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: Salida: b1001*0011b b0011*0011b