Problema de diagrama de estado - Situaciones equivalentes

Solo verifica si hay estados donde:

1. Las salidas son las mismas para todas las entradas posibles, y eso
2. Los "estados siguientes" también son iguales para las mismas combinaciones de entrada (excepto cuando el estado siguiente simplemente salta de un estado equivalente al otro, que es lo mismo que ningún cambio de estado).

Si dos estados diferentes pasan al mismo estado con la misma salida cuando llega la misma entrada, son el mismo estado :)

Una buena forma de minimizar el estado es a través de Método de partición . Básicamente, necesita configurar su diagrama de estado en una tabla de estados. A partir de ahí, está viendo qué entradas tienen las mismas salidas y, finalmente, qué estados llevan al mismo estado siguiente. La información sobre la partición comienza en la página 6 de esas diapositivas.