1.

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

(Antes de minimizar)
Es un autmata finito determinista ya que para cada entrada solo existe uno y
solo un estado al que el autmata puede hacer la transicin a partir de su estado
actual
M ={ q 0 , q1 ,q 2 ,q 3 , q4 , q5 , q 6 q 7 , q8 , q9 } , { 0,1 } , , q0 , {q 3 , q 4 , q8 }
Es un quntuplo (K , , , s , F ) donde:
K= { q0 , q1 , q3 , q 4 ,q 5 ,q 6 , q7 , q8 , q9 } , identifica el conjunto de estados del autmata
={ 0,1 } , Es el alfabeto de entrada
S= { q0 } , Es el estado inicial
F={q 3 ,q 4 , q8 }
Es el
conjunto de estados finales o de
0
1
aceptacin
=K x K
Es
la q0 q2 q1 funcin de transicin, que a partir
q5 q3 del alfabeto obtiene un nuevo
de un estado y un smbolo q1
q2
q4
estado
#q3
q9 q6
#q4
q7 q9
Donde la funcin
q5
q9 q2
q6
q8 q9
q7
q9
#q8
q7
q9
={ q 0 ,q 1 ,q 2 ,q 3 ,q 4 , q5 , q 6 , q 7 , q 8 ,q 9 } x {0,1 } { q0 , q1 , q2 , q3 , q 4 , q 5 ,q 6 , q7 , q8 , q9 }
Viene dada por:
( q0 0 )=q2
( q1 0 )=q5
( q2 0 )=q4
( q3 0 )=q9
( q4 0 ) =q 7
( q5 0 )=q9
( q6 0 ) =q8
( q7 0 )=q9

( q0 1 )=q 1
( q1 1 ) =q 3
( q3 1 )=q 6
( q4 1 )=q9
( q5 1 )=q 2
( q6 1 )=q 9
( q8 1 )=q 7

2. Plasme la tabla de transicin del autmata (antes de minimizar)

3. Identifique el lenguaje que reconoce (Antes de minimizar)

El lenguaje que reconoce el autmata es: L={ {0,1 } el lenguaje que reconoce
es el de todas las posibles cadenas que empiezan por 1 o por 0, que terminan en 1
o 0, seguidas de una combinacin de uno o varios 1 o 0 de acuerdo a las
condiciones ; por ejemplo aceptara 00,11,1110.
4. Identifique la ER y en una tabla de validacin (puede ser de Excel), verifique una
cadena valida y una no valida, tenga en cuenta la jerarqua de operadores
La ER identificada para el autmata es
Cadena Valida: 1110
q0
q1
#q3
q6

11+00+1010+1110

1
1
1
0

q1
#q3
q6
#q8

1
0
0

q1
q5
q9

Cadena no valida: 100

q0
q1
q5

5. Identifique los estados distinguibles y no distinguibles

Estados Finales o de Aceptacin
x={q3 , q4 , q 8 }
Estados no finales
y={q0 , q1 , q2 , q5 , q6 , q 7 , q 9 }
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.
Se valida el conjunto X
X
q3
q4
q8

0
Y
Y

1
Y
Y
Y

Se valida el conjunto Y
Y
q0
q1
q2
q5
q6
q7
q9

0
Y
Y
X
Y
X
Y

1
Y
X

Y
Y

Se elimina automticamente

En la validacin del conjunto Y se evidencia que el estado q 9 tiene transiciones

vacas por lo tanto se elimina automticamente y se vuelven a validar los
conjuntos X, Y

Se valida el conjunto X
X
q3
q4
q8

1
Y

0
Y
Y
X

1
Y
X

Se valida el conjunto Y
Y
q0
q1
q2
q5
q6
q7

Se elimina automticamente

Al validar los conjuntos X, Y nuevamente, el estado q 7 queda con transiciones

vacas por lo tanto se elimina y se vuelven a validar los conjuntos X,Y

Se valida el conjunto X
X
q3
q4
q8

1
Y

Son equivalentes

Luego de validar el conjunto X, se evidencia que se divide en dos conjuntos ya

que el estado q4 y q8 son equivalentes y el estado q 3 no; por lo tanto se crea un
nuevo conjunto quedando de la siguiente forma X{ q 3} Z{ q4 , q8 }

Se valida el conjunto Y
Y
q0
q1
q2
q5
q6

0
Y
Y
X

1
Y
X

Son equivalentes
Son equivalentes

Luego de validar el conjunto Y, se evidencia que se divide en tres conjuntos ya

que el estado q0 y q5 son equivalentes al igual que los estados q 2 y q6 y el estado
q1 no; por lo tanto se crean dos nuevos conjuntos quedando de la siguiente
forma
Y{
q0,
q5}
A{ q1} , B{ q2 , q6 }

Se validan los conjuntos generados

X{ q3}
Z{ q4 , q8 }
Y{ q0, q5}
A{ q1}
B{ q2 , q6 }

X {q3}

Como se evidencia no hay equivalencias en la validacin del conjunto Y por lo

que el conjunto se divide y se crea un nuevo conjunto quedando de la siguiente
manera:

Z {q4, q8}
Y {q0}
W{q5}
A {q1}
B {q2, q6}