Punto 1.

De la siguiente definicin formal de un autmata: A = ({q0, q1, q2, q3, q4}, {a, b, c}, f, q0, {q2}) f(q0, a) = q1 f (q0, b) = q4 f(q1, a) = q4 f(q1, b) = q1 f(q2, a) = q4 f(q2, b) = q4 f(q3, a) = q4 f(q3, b) = q3 f(q4, a) = q4 f(q4, b) = q4
a.

f(q0, c) = q4 f(q1, c) = q2 f(q2, c) = q2 f(q3, c) = q2 f(q4, c) = q4

Presentar una imagen del diagrama de more del autmata definido.

b.

Tabla de transicin. f a b c

c. Generalice mediante una expresin regular y explique el lenguaje que acepta el Autmata.

El lenguaje es: ab*,c* Punto 2. 2.- Con base en el siguiente Diagrama de Moore:

Realice las siguientes Actividades: a. Generalice mediante una expresin regular y explique el lenguaje que acepta el Autmata b. Construya la respectiva tabla de transicin faltaaaaaaaaaaaa : c. Defina el Autmata como un conjunto de cinco elementos SOLUCION Este autmata se define como la quntupla: M = (Q,V,J,q0,f) Q = Conjunto de estados= {q1,q2,q3} V = Altada de entrada = {1,2,3} = funcin de transicin = Q V F : {q1, q2, q3} * {1,2,3} {q1, q2, q3}

Q = Conjunto estados finales = {q3}

q0 = estado inicial = {q1

REMPLAZAMOS M = ({q1, q2, q3} {1,2,3} {q1} {q2})

El lenguaje que reconoce el AFD es: { 1,2,3} Punto 3. Especificar formalmente un Autmata que acepte nicamente todas las cadenas de ceros y unos que contienen la secuencia 01 en algn lugar de la cadena. Para el Autmata especificado: 1. Dibuje el Diagrama de Moore 2. Escriba la Tabla de Transicin. El siguiente autmata acepta nicamente las cadenas de ceros y unos que contienen la secuencia 01 en algn lugar de la cadena. L (M) = ({qo,q1,q2},{0,1},f,qo,{q2}) TABLA DE TRANSICION. f q0 q1 #q2 0 q1 q1 q2 1 q0 q2 q2

DIAGRAMA DE MOORE.

PUNTO 6. Tabla de transicin ejercicio 4 0 q0 q1 q2 {} q0 q2 1 q1,q2 q0,q1 {}

Tabla de transicin ejercicio 5 a q1 q2 q3 q4 q2 q1,q3,q4 {} {} b {} q1,q3 q1,q4 q3

PUNTO 8 Dado el siguiente Autmata Finito No Determinista:

(a)Construir el mnimo equivalente (b)Deducir el lenguaje que reconoce

Tabla de equivalencias: 1 p* Q r* s q q s r 0 r q r s p -

Escogemos los finales (p* y r*) = C1 y no finales (q, s)= C2 Nueva tabla: 1 0 NUEVO ESTADO C1 C1 C2 C1 C1 C2 C3

p* r* q s

C2 C2 C2 C1

C1 C2

Nuevo autmata:

Lenguaje admitido:

a. Todas las palabras que inicien y/o terminen en 1 b. Todas las palabras que terminen en 0 PUNTO 9. Construir el autmata finito deterministico equivalente al siguiente:

Se escoge la primera particin separando en dos grupos los terminales con los no terminales: Q/E1= (C1, C2) C1= Estados finales, C2= Estados no finales Q/E1= (C1= [q1, q3, q8], C2= [q0, q2, q4, q5, q6, q7 ]) Tomamos la clase1 C1:

a Q1* Q3* Q8* C1 C1 C1

b C2 C2 C2

c C2 C2 C2

Se observa que q1, q2, y q3 Transitan igual.

Tomamos la clase 2 C2: A Q0 Q2 Q4 Q5 Q6 Q7 C1 C1 C1 C1 C1 C1 B C2 C2 C1 C2 C2 C1 C C2 C2 C2 C2 C2 C1

Q0, Q5, Q6 Transita igual Q4, No Transita igual Q7, No Transita igual Luego se organizan en grupos: Q/E2= (C1= [q1, q3, q8 ], C2=[q7]), C3=[q4]), C4=[q0, q2, q5, q6 ]) a Q0 C1 b C4 C C4

Q2 Q5 Q6

C1 C1 C1

C4 C4 C4

C4 C4 C4

Se comprueba que q0, q2, q5, q6, transitan iguales. Por lo tanto la particin solucin quedar: Q/E= ( C1= [q1, q3, q8 ], C2=[q7]), C3=[q4]), C4=[q0, q2, q5, q6 ])

Teniendo en cuenta que los grupos Cx se toman como estados. Los estados finales e inicial son tenidos en cuenta de acuerdo al grupo que se encuentre:

Los estados c1, c2, c3, y c4 tienen solucin debido a que el inicial c4, enva a recibe b,c y retorna en si mismo bc.