A tu diagrama le faltan casos y tiene algunos errores.
Algunas cosas a tener en cuenta:
- Todos los estados deberían tener un retorno al q0 cuando baja Avance (con salidas diferentes si volvés con 00 o con 01)
- No se puede tener don't cares en las salidas
- Si sentido está constante en un valor deberías quedarte alternando entre 2 estados
*eso funciona entre q1 y q2 con sentido=0
*deberías tener algo parecido entre q4 y q5 con sentido=1
Errores:
- en q0 e quedas con 00 y con 01
- creo que está al revés la salida que va de q4 a q1
Con esa cantidad de estados te debería salir e incluso después se puede minimizar.
Algunas cosas a tener en cuenta:
- Todos los estados deberían tener un retorno al q0 cuando baja Avance (con salidas diferentes si volvés con 00 o con 01)
- No se puede tener don't cares en las salidas
- Si sentido está constante en un valor deberías quedarte alternando entre 2 estados
*eso funciona entre q1 y q2 con sentido=0
*deberías tener algo parecido entre q4 y q5 con sentido=1
Errores:
- en q0 e quedas con 00 y con 01
- creo que está al revés la salida que va de q4 a q1
Con esa cantidad de estados te debería salir e incluso después se puede minimizar.