7- En el proceso de eliminacin de estados, identifique que transiciones

se eliminan y cuales se direccionan.

Minimizacin por conjuntos:

Estados aceptadores:

x={q 3,q 5, q 8 }
Estados no aceptadores:

y= {q 0, q 1,q 2, q 4, q 6, q 7,q 9 }

Validamos el conjunto
0

q3

q5

q8

q 0, q 4,q 9
q 1, q 6

q 2, q 7
Entonces

x:
Estos estados son equivalentes.
Validamos el conjunto
0

q0

q1

q2

q4

q6

q7

q9

y:
Estos estados son
equivalentes:

creamos 3 nuevos estados.

Nuevos estados:

x={q 3,q 5, q 8 }
w={q 1,q 6}
v ={q 2, q 7 }
z={q 0 , q 4 ,q 9 }
Validamos el conjunto
0

q3

q5

q8

Validamos el conjunto
0

q2

q7

Validamos el conjunto
0

q0

q4

q9

Nuevos estados:

x:
Estos estados son equivalentes.
Validamos el conjunto
0

q1

q6

w:
Estos estados son
equivalentes.

v:
Estos estados son equivalentes.

z:
Estos estados no son equivalentes entonces creamos
3 nuevos estados.

x={q 3,q 5, q 8 }
w={q 1,q 6}
v ={q 2, q 7 }
o={q 0}
p={q 4 }
q={q 9 }

Validamos el conjunto

q3

q5

q8

Validamos el conjunto
0

q2

q7

x:
Estos estados son equivalentes.
Validamos el conjunto
0

q1

q6

w:
Estos estados NO son
equivalentes.

v:
Estos estados NO son equivalentes.

Se presenta una inconsistencia con los conjuntos

w yv

ya que pasaron de

ser equivalentes a NO equivalentes, el problema se presenta cuando se

creen a partir de estos conjuntos ya que el conjunto

presentara la

misma inconsistencia ya que depende de cierta manera del conjunto

w yv .
Por qu los nuevos conjuntos quedaran de la siguiente manera:

x={q 3,q 5, q 8 }
m={q 1}

n={ q 6 }
r={q 2 }
s={q 7 }
o={q 0}
p={q 4 }
q={q 9 }
Validamos el conjunto
0

q3

q5

q8

x:
Estos estados NO son equivalentes.
Relacin que no tendra sentido por que tendramos
que crear 3 nuevos estados para relacionarlos y
quedara de la misma manera que el autmata
inicial, por ende no habra minimizacin.

Tambin se intent inspeccionar la minimizacin que realiza el jflap pero no

logra entregar ninguna minimizacin, entrega el mismo autmata de inicio.
Al parecer si tuviese una inconsistencia que no permite realizar el proceso
como tal.