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)
5. Identifique los estados Distinguibles y los 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.
7. En el proceso de eliminacin de estados, identifique que transiciones se eliminan y
cules se re
direccionan. Muestre la tabla de estados distinguibles
8. El autmata nuevo minimizado expresarlo o graficarlos en un diagrama de moore
9. Realice la descripcin (notacin) (caracterizacin) matemtica del autmata ya
minimizado
10. Identifique El Lenguaje que reconoce. (Autmata ya minimizado)
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

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

Aporte Colaborativo Unidad 2

PARTE 1: HALLAR EL AUTMATA MNIMO CORRESPONDIENTE al autmata finito que

representa la siguiente expresin regular Expresin regular.

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

minimizar)
2. Plasme la tabla de transicin del autmata. (No es la que generas VAS). (Antes de
minimizar)
3. Identifique El Lenguaje que reconoce. (Antes de minimizar)