La forma más simple de describir, pero no necesariamente la más compacta, es
- Utiliza codificación one-hot para los estados. Eso significa un latch por estado, con ese latch encendido y todos los demás apagados.
- Para cada flecha dirigida a un estado, utiliza una compuerta en la línea de set que realice la operación lógica escrita en la flecha, y envíe el inverso de eso a la entrada de reset de todos los demás latches
Puede ser posible reducir el número de latches mediante una codificación binaria u otra codificación más compacta que la one-hot. Por ejemplo, tu máquina de dos estados ilustrada podría usar un solo latch, con 0 para el estado 0 y 1 para el estado 1.