Buenas:
Para saber cuál estado poner en lugar del don't care:
¿Es necesario ignorar la adyacencia entre q2 y q1 para el conjunto de destino de (q2, q1) y crear un ciclo que me lleve de q1 a q2 a través de q3 ?
Yo hice el ejercicio ignorando la presencia del don't care y respetando las adyacencias de todos los conjuntos de destino de dos estados. Durante este proceso, no me resultó necesario asignarle un valor al don't care.Planeaba asignarle un estado que no fuera ni q0 ni q2 al don't care, para que no se me generara ni ampliara ningún conjunto de destino.
¿Está bien lo que hice antes de codificar? (foto más abajo)
Saludos,
Alejandro.