Hola, no estoy entendiendo porque es esta solucion, porque q1 queda solo? Y en la segunda imagen el q3 no queda solo? No lo llego a entender al motivo de dejarlo solo.
Saludos y muchas gracias
Diego :D
En respuesta a Diego Ismael Marichal Chavez
Re: Duda autoevaluacion clase 14
Escribo esto para que aparezca la notificacion
Hola Diego,
El objetivo de minimizar estados, es quedarte con la menor cantidad posible de nuevos estados, cubriendo todos los estados originales.
En la primera pregunta, al analizar las compatibilidades de los estados dos a dos, llegás a que para poder tomar (q1-q2) equivalentes, necesitás tomar (q2-q3) equivalentes, y para esto necesitás tomar (q0-q3) equivalentes. Pero también sabemos que (q0-q2) son compatibles, por lo que podemos tomar (q0-q2) (q2-q3) y (q0-q3) y formar un grupo de 3 estados (nuevo estado A) con los estados (q0-q2-q3) que son compatibles de 2 en dos. Como originalmente teníamos 4 estados, nos queda un estado por cubrir: q1, por lo que formamos el nuevo estado B con q1.
Si bien es cierto que con la decisión de formar el estado A podemos tomar q1 equivalente a q2, esto no nos sirve ya que:
1) No es necesario, ya tengo a todos los estados originales cubiertos.
2) Tomar q1 equivalente a q2 nos saca dos Don´t Care (por ejemplo fuerza que la salida con X=0 sea 0 en lugar de ser Don´t Care). Esto puede hacer que los mapas K queden más complejos innecesariamente, por lo que es mejor dejar a q1 solo en el estado B.
En la segunda pregunta, para poder tomar (q1-q2) equivalentes, es necesario que tomes (q0-q3) equivalentes, si no lo hacés, no se cumple que (q1-q2) sean equivalentes (porque el siguiente estado con X=0 es q0 en un caso y q3 en el otro).
Espero haber aclarado tus dudas.
Saludos,
Fiorella
El objetivo de minimizar estados, es quedarte con la menor cantidad posible de nuevos estados, cubriendo todos los estados originales.
En la primera pregunta, al analizar las compatibilidades de los estados dos a dos, llegás a que para poder tomar (q1-q2) equivalentes, necesitás tomar (q2-q3) equivalentes, y para esto necesitás tomar (q0-q3) equivalentes. Pero también sabemos que (q0-q2) son compatibles, por lo que podemos tomar (q0-q2) (q2-q3) y (q0-q3) y formar un grupo de 3 estados (nuevo estado A) con los estados (q0-q2-q3) que son compatibles de 2 en dos. Como originalmente teníamos 4 estados, nos queda un estado por cubrir: q1, por lo que formamos el nuevo estado B con q1.
Si bien es cierto que con la decisión de formar el estado A podemos tomar q1 equivalente a q2, esto no nos sirve ya que:
1) No es necesario, ya tengo a todos los estados originales cubiertos.
2) Tomar q1 equivalente a q2 nos saca dos Don´t Care (por ejemplo fuerza que la salida con X=0 sea 0 en lugar de ser Don´t Care). Esto puede hacer que los mapas K queden más complejos innecesariamente, por lo que es mejor dejar a q1 solo en el estado B.
En la segunda pregunta, para poder tomar (q1-q2) equivalentes, es necesario que tomes (q0-q3) equivalentes, si no lo hacés, no se cumple que (q1-q2) sean equivalentes (porque el siguiente estado con X=0 es q0 en un caso y q3 en el otro).
Espero haber aclarado tus dudas.
Saludos,
Fiorella
Hola, muchas gracias por responder. Si me quedo un poco mas claro, muchas gracias
Saludos
Diego :D
Saludos
Diego :D