Documente Academic
Documente Profesional
Documente Cultură
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.
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}
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.
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:
b C2 C2 C2
c C2 C2 C2
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.