Problemas a desarrollar:

PARTE 1: Calcular el autmata mnimo correspondiente al siguiente autmata finito.

1. Enuncie el autmata en notacin matemtica e identifique que tipo de autmata
es:
K =q
0,
q
1,
q
2,
q
3,
q
4,
q
5,
q
6,
q
7
} {0, 1} s = q
0
F = q
3 ,
q
5
Donde la funcin : q
0,
q
1,
q
2,
q
3,
q
4,
q
5,
q
6,
q
7
} x {0, 1} q
0,
q
1,
q
2,
q
3,
q
4,
q
5,
q
6,
q
7
}
viene dada por:
(q
0,
0)= q
2
(q
0,
1)= q
1

(q
1,
0)= q
4
(q
1,
1)= q
5

(q
2,
0)= q
3
(q
2,
1)= q
4

(q
3,
0)= q
2
(q
3,
1)= q
7

(q
4,
0)= q
7
(q
4,
1)= q
6

(q
5,
0)= q
6
(q
5,
1)= q
1

(q
6,
0)= q
3
(q
6,
1)= q
4

(q
7,
0)= q
4
(q
7,
1)= q
5


M= ({q
0,
q
1,
q
2,
q
3,
q
4,
q
5,
q
6,
q
7
}, {0,1}, q
0
, { q
3 ,
q
5
})

Identificamos que es un AFD.

2. Identifique los componentes del autmata (que tipo de tupla es)
El autmata finito Determinista del ejercicio se comporta como una quntupla que est
compuesta por un alfabeto que contiene los smbolos 0 y 1, por un conjunto de estados;
los cuales son q
0,
q
1,
q
2,
q
3,
q
4,
q
5,
q
6,
q
7.
Por un estado inicial que comienza en q
0
y por dos
estados finales o de aceptacin que son q
3
y q
5
y por funciones de transicin.
Tenemos los estados del autmata, en este caso inicia en el estado q
0,
este a su vez recibe
un smbolo del alfabeto (puede ser 0 1) y de acuerdo al smbolo, recibe las funciones de
transicin que le indican el siguiente estado que se debe dirigir.


3. Identifique la tabla de transicin correspondiente

0 1
q0 q2 q1
q1 q4 q5
q2 q3 q4
# q3 q2 q7
q4 q7 q6
# q5 q6 q1
q6 q3 q4
q7 q4 q5


4. Identifique el lenguaje que reconoce (no en notacin de ER) y enuncie cinco
posibles cadenas vlidas que terminen en el estado halt y cinco cadenas no
vlidas:
El autmata, recibe el conjunto de todas las cadenas que comiencen por 0 o por 1,
reconoce cadenas que contienen una cantidad par de ceros o de unos, reconoce
combinaciones de 0 o 1, bajo ciertas condiciones o propiedades que resultan
complejas. No reconoce cadenas 01 o 10, se llega al estado final con 0 o 1.

Cadenas vlidas:
000000
11
110110
11011101
001010

Cadenas no vlidas:
111111111
000111
101
1101
0000000



5. Encuentre la expresin regular vlida. (se genera de forma manual, asociando cada
operador y sentencia al diagrama de moore de forma explicativa). No se genera
con el JFLAP





00(00)*+11(11)*+((10+01+00(00)*01)1+11(11)*(0+101))((1+0(00)*01)1)*0(00)*+(00(00)*
1+(10+01+00(00)*01)0+11(11)*100+((10+01+00(00)*01)1+11(11)*(0+101))((1+0(00)*01)1
)*(0(00)*1+(1+0(00)*01)0))(00+1(11)*100+(01+1(11)*(0+101))((1+0(00)*01)1)*(0(00)*1+(
1+0(00)*01)0))*(1(11)*+(01+1(11)*(0+101))((1+0(00)*01)1)*0(00)*)


6. Encuentre su gramtica que sea vlida para la funcin de transicin (describa sus
componentes y como se escriben matemticamente). Justifquela si la convierte a
la Izquierda o a la derecha. Plsmela en el simulador y recrela. (Debe quedar
documentado en el texto el paso a paso que realizan en el simulador)

Los componentes del AFD son los siguientes:
V = A, B, C, D, E, F, G
= 0,1
R = Es el conjunto de reglas, es un subconjunto finito de V x (V U )
S= Es el smbolo inicial y es un elemento de V
La gramtica regular es Lineal por la derecha, porque todas las producciones tienen la
forma
A aB o bien A a

Tenemos el diagrama de Moore del autmata, damos click en convert to grammar


Tambin podemos ingresar a jflap, Grammar y diligenciar


El editor queda as:





Damos click en Multiple run



7. Realice el rbol de Derivacin de esa gramtica.





ACTIVIDADES PARA EL EJERCICIO A MINIMIZAR: