No entiendo los cuadros de implicación para reducir los estados de las máquinas Mealy y Moore. Estoy viendo un ejemplo de berkley
Pude construir la tabla y luego eliminar las basadas en esa salida (aquí está la del sitio, ya que no puedes ver mi pizarra)
Lacuestiónesquenoentiendocómollegaronalsiguientepaso.
¿Cómo decidieron eliminar esos estados? Siguiendo los pasos, terminé eliminando varios pasos que mantuvieron, como a y d, ya que c y e claramente no son lo mismo.
¿Qué me estoy perdiendo?