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

(Antes
de minimizar)
En el diagrama se puede visualizar que es un a autnoma finito no determinista ya que no
se puede con exactitud saber cul ser el siguientes estado.

;S ;F ;
5-tupla K ;

M=

{ q 0 , q 1 , q 2 , q 3 , q 4 , q5 , q6 , q7 , q 8 , q 9 } , { 0,1 } , ,{q3 , q 4 ,q 8 }

, {q 0 }

K es el conjunto finito de estados

K={q0 , q1 , q2 , q3 , q 4 , q5 , q6 , q7 , q8 , q 9 }

Alfabeto

{0,1}

F=Estado final ,

F={q 3 ,q 4 , q8 }

s=Estado inicial

s=q0

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

minimizar)
TRANSICIONES

=funcionde transicion,
: K

K es la funcion de transicion , que partir de un estado y un simbolo del alfabeto obtiene un nuevo estado
: {q0 , q1 , q2 , q3 , q4 , q 5 , q 6 ,q 7 , q8 , q9 }{ 0,1 } { q 0 , q1 , q2 , q3 , q4 , q 5 , q 6 , q 7 ,q 8 , q9 } viene dada por :

: ( q0 , 0 )=q2

 : ( q0 ,1 ) =q 1
: ( q1 ,0 )=q 5
: ( q1 ,1 ) =q3
: ( q2 ,0 )=q4
: ( q3 , 0 )=q9
: ( q3 ,1 ) =q 6
: ( q4 , 0 ) =q 7
: ( q4 , 1 )=q9
: ( q5 , 0 )=q9
: ( q6 , 0 )=q8
: ( q6 ,1 )=q 9
: ( q7 , 0 )=q9
: ( q8 ,1 ) =q 7

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

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)

X = { q3 , q 4 , q8 }
Y = { q0 , q1 , q2 , q5 , q6 , q7 , q 9 }
VALIDACION DE LA INFROMACION
DEL CONJUNTO X
0
1
q3
Y
Y
VALIDACION DE LA INFROMACION
q4DEL CONJUNTO
Y Y
Y
q8
X
Y
0
1
q0
Y
Y
q1
Y
X
q2

q5
q6

Y
X

Y
Y

q7

q9

5. Identifique los estados Distinguibles y los No distinguibles

CONJUNTO

X = { q3 , q 4 , q8 } Distinguibles
Y = { q0 , q1 , q2 , q5 , q6 , q7 , q 9 } No Distinguibles

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 = { q3 , q 4 , q8 }
Y = { q0 , q1 , q2 , q5 , q6 , q7 , q 9 }

q3
q4
q8
q0
q1

MINIMIZACIN AFD
0 1 CONJUNTO (7)
A
- y
B
B
Y Y
D
Y X
E

q2
q5
q6

C
A
C

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

cules se re direccionan. Muestre la tabla de estados distinguibles

0
q4
q8

VALIDACIN 1
B
1
A={q4,q8}
-

A
0
q3
q5

q2
q6

0
A
A

1
C
C

B={q3,q5}

C
1
C={q2,q6}

D
q0

0
C

1
E

D={q0}
E

q1

0
B

1
B

E={q1}

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

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

autmata ya minimizado
;S ;F ;
5-tupla K ;

M= { D , E , C , A , B } , {0,1 } , , {B } , D

K es el conjunto finito de estados

K={ D , E , C , A , B }

Alfabeto

{0,1}

F=Estado final ,

F={B }

s=Estado inicial

s=D

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

L={ A { 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)

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

13.Con una cadena vlida, genere un rbol de derivacin para la gramtica

por la derecha y demuestre y justifique si la cadena y rbol generado
puede ser ambigua o no.