1. Realice la descripcin (notacin) (caracterizacin) matemtica del autmata.

(Antes de minimizar)
M es un quntuplo (K, , , s, F),
Dnde: K = {q0, q1, q2, q3, q4, q5, q6, q7, q8,q9}, identifica el conjunto de estados
del autmata
= {0,1}, es el alfabeto de entrada
= es la funcin de transicin, que a partir de un estado y un smbolo del alfabeto
obtiene un nuevo estado
X {1, 0} {q0, q1, q2, q3, q4, q5, q6, q7, q8,q9}
s es el estado inicial, en nuestro caso q0
F es un conjunto de estados finales, en nuestro caso q3, q4, q8
Es un AFD porque es una funcin, esto implica que para un estado y un smbolo
del alfabeto dados, habr un y solo un estado siguiente.

2. Plasme la tabla de transicin del autmata. (No es la que generas VAS). (Antes de
minimizar)

F
q0

1
q1

0
q2

q1
q2
q3
q4
q5
q6
q7
q8

q3

q5
q4
q9
q7
q9
q8
q9

#
#
#

q6
q9
q2
q9
q7

3. Identifique El Lenguaje que reconoce. (Antes de minimizar)

L= {A {0,1}*| A={.El lenguaje que reconoce ser el de todas las posibles cadenas
que empiezan por 0 o por 1 y que terminan en 0 o 1, seguidos de una
combinacin de uno o varios 0 o 1. bajo ciertas condiciones (propiedades) que
resultan complejas (ER), por eso es que se reduce o minimiza el autmata
4. Identifique la ER y en una tabla de validacin (puede ser de Excel), verifique una
cadena vlida y una no vlida. Tenga en cuenta la jerarqua de operadores. (Antes
de minimizar)
Cadenas 11101(1()+ )(1())(0())(011(01())(0(1()+ )(001())(0(1()+ ))
CADENA
1110
11
1001

TIPO DE
ACEPTACION
ACEPTADA
ACEPTADA
NO ACEPTADA

5. Identifique los estados Distinguibles y los No distinguibles

Estados distinguibles
X= {93, q4, q8}
Estados no distinguibles

Y= {q1, q2, q5, q6, q7, q9}

6. Identifique los estados equivalentes (para ello muestre cmo evala esas
equivalencias, colocando a los estados candidatos de equivalencia como estados
iniciales). Evidencie el proceso de cmo los evala.
X= {93, q4, q8}
Y= {q0, q1, q2, q5, q6, q7, q9}

Los estados q3 q4 y q8 son equivalentes puesto que reconocen el mismo lenguaje

0
1
q3 y
y
0
1
q4 y
y
q0 y
y
q8
y
Los estados q0 y q5
q1 y
x
son equivalentes
z= {q3, q4, q8}
q2 x
puesto que reconocen
q5 y
y
el q5}
mismo lenguaje
M= {q1, q2, q6, q7, q9}
N= {q0,
q6 x
y
q7 y
Validacin de M
q9 0
q1
q2
q6
q7
q9

N
Z
Z
-

1
Z
-

0
q3
q4
q8

M
M
-

q0

EQUIVALENTES q2 y
q6

1
M
M
M

EQUIVALENTES q3 ,
q4,q8

1
M
EQUIVALENTES q0 y
q5

q5

z= {q3, q4, q8}

R= {q1}

N= {q0, q5}
S={q2, q6}

7. En el proceso de eliminacin de estados, identifique que transiciones se

eliminan y cules se re direccionan. Muestre la tabla de estados
distinguibles
Procedemos a dejar los estados equivalentes del punto anterior
z= {q3, q4, q8}
R= {q1}

N= {q0, q5}
S={q2, q6}

Validacin de R
0
Q1

1
Z

Validacin En Z
0
Q3
Q4
Q8

Z
-

1
-

Validacin en N
0
Q0
Q5

S
-

1
R
S

Validacin en s
0
Q2
Q6

z
z

1
-

Validamos nuevamente
0= {q2, q6}
T= {q0}
U= {q5}

R= {q1}
F={q4,q8}
V={q3}
Validacin de R
0
Q1

1
v

Validacin de T
0
Q0

1
R

Validacin de U
0
Q5

1
O

Validacin de O
0
Q2
Q6

F
F

Validacin de F
0
Q4
Q8

1
O
-

Validacin de V
0
Q3

1
o

Donde continuamos validando el grupo de conjuntos

d= {q0}
e= {q1}

f= {q2,} en esta eliminaremos q6

g={q3}
h= {q5}
i={q4, } en esta eliminaremos q8
Validacin de E
0
Q1

1
g

Validacin de D
0
Q0

1
e

Validacin de H
0
Q5

1
f

Validacin de F
0
Q2

Validacin de g
0
Q3

1
-

Validacin de I
0
Q4

1
-

Volvemos a validar

Tabla de transiciones
0
h
F
i
-

d
e
f
#g
h
#i

1
g
e
f
f
-

8. El autmata nuevo minimizado expresarlo o graficarlos en un diagrama de

moore

9. Realice la descripcin (notacin) (caracterizacin) matemtica del autmata

ya minimizado
Es el conjunto finito de todos los estados
Q={d ,e , f , g ,h , i}
q 0=d

Es el estado inicial del autmata

={0,1 }

Es el alfabeto del autmata

A={Q , , ,Q 0, i }

Es la funcin de transicin

A=({d , e , f , g , h , i}), {0,1 }, ,{d }, {g , i}

F={g , i}

Es el conjunto de estados finales o de aceptacin.

10. Identifique El Lenguaje que reconoce. (autmata ya minimizado)

L={Cadenas de 01}
={01}

L={ { 0,1 } |

11. Identifique la ER del autmata ya minimizado y en una tabla de validacin

(puede ser de Excel), verifique una cadena vlida y una no vlida. Tenga en
cuenta la jerarqua de operadores. (Autmata ya minimizado)
(00+101+11)
Cadenas validas
00
11
1010
1110

Cadenas no validas
1011
01
10111

12. (Autmata minimizado) Identifique su gramtica (de forma manual) por la

derecha y caractercela.. Debe incluir el diagrama de estados con los
componentes de la gramtica asociados a las variables y a las constantes.
13. Realice la gramtica por la izquierda (de forma manual) y compare si esta
gramtica acepta o no el mismo lenguaje (cadenas). Justifique y demuestre su
respuesta