minimizacion por conjuntos
TRANSCRIPT
-
8/17/2019 Minimizacion Por Conjuntos
1/4
7- En el proceso de eliminación de estados, identifque que transicionesse eliminan y cuales se direccionan.
Minimización por conjuntos:
Estados aceptadores:
x={q3,q5,q8}
Estados no aceptadores:
y= {q 0,q1,q2,q 4,q6,q7,q 9 }
Validamos el conjunto x :
Estos estados son equivalentes.
Validamos el conjunto y :
Estos estados sonequivalentes:
q0,q 4,q 9
q1,q6
q2,q7
Entonces creamos 3 nuevos estados.
!
q3 y y
q" y y
q# y y !
q y y
q! y $
q% $ y
q& y y
q' y $
q7 $ y
q( y y
-
8/17/2019 Minimizacion Por Conjuntos
2/4
)uevos estados: x={q3,q5,q8}
w={q1,q 6}
v={q2,q7 }
z={q0 , q4 ,q 9}
Validamos el conjunto x :
Estos estados son equivalentes.
Validamos el conjunto w :
Estos estados sonequivalentes.
Validamos el conjunto v :
Estos estados son equivalentes.
Validamos el conjunto z :
Estos estados no son equivalentes entonces creamos3 nuevos estados.
)uevos estados:
!
q3 v *
q" v *
q# v * !
q! z $
q' z +
!
q% $ z
q7 $ z
!
q v *
q& * v
q( z z
-
8/17/2019 Minimizacion Por Conjuntos
3/4
x={q3,q5,q8}
w={q1,q 6}
v={q2,q7 }
o={q 0}
p={q4 }
q={q 9}
Validamos el conjunto x :
Estos estados son equivalentes.
Validamos el conjunto w :
Estos estados ) sonequivalentes.
Validamos el conjunto v :
Estos estados ) son equivalentes.
e presenta una inconsistencia con los conjuntos w y v ya que pasaron de
ser equivalentes a ) equivalentes, el prolema se presenta cuando se
creen a partir de estos conjuntos ya que el conjunto x presentar/a la
misma inconsistencia ya que depende de cierta manera del conjunto
w y v .
0or qu1 los nuevos conjuntos quedar/an de la si2uiente manera:
x={q3,q5,q8}
m={q1}
!
q3 v *
q" v *
q# v * !
q! q $
q' p $
!
q% $ q
q7 $ p
-
8/17/2019 Minimizacion Por Conjuntos
4/4
n={q6 }
r={q2 }
s={q7 }
o={q 0}
p={q4 }
q={q 9}
Validamos el conjunto x :
Estos estados ) son equivalentes.
elación que no tendr/a sentido por que tendr/amosque crear 3 nuevos estados para relacionarlos yquedar/a de la misma manera que el autómatainicial, por ende no 4ar/a minimización.
5ami1n se intentó inspeccionar la minimización que realiza el j6ap pero nolo2ra entre2ar nin2una minimización, entre2a el mismo autómata de inicio.l parecer si tuviese una inconsistencia que no permite realizar el procesocomo tal.
!
q3 r n
q" s m
q# s n