Buen día.
La letra indica que la salida zout está por defecto en 0 y los pulsos que debes dar cuando se dan flancos en cualquier sentido en xin, viendo el valor de dly, valen 1.
Es por eso que si das el pulso en 1 en zout, en el siguiente estado te quedas dando una salida 0 en zout hasta que haya un flanco en xin, sin importar el valor de dly (por eso el don't care).
La idea en general es la siguiente:
- Por defecto xin y zout están en 0, y lo podemos corroborar viendo el estado q0, que está indicado como el estado inicial o de "reposo" con la flecha de Reset.
El circuito se quedará dando salida 0 hasta ver un flanco creciente en xin, y dependiendo del valor de dly, el pulso en zout será inmediato (si dly = 0) o comenzará recién en el siguiente estado (si dly = 1).
- Cuando llegas al siguiente estado (q1), este es un estado que está para completar el pulso que se da en zout, por lo que independientemente de los valores de xin y dly te irás a otros estados dando salida 1.
Si vemos que xin cambió nuevamente su valor volvemos al estado q0, y de lo contrario si xin mantiene el valor 1 nos vamos al estado q2.
- El estado q2 es un estado "simétrico" al estado q0 donde esperamos un flanco decreciente de xin en lugar de uno creciente (esto es, esperamos que xin pase de 1 a 0).
Mientras xin mantenga el valor 1, nos quedamos dando salida 0 en zout, independientemente del valor de dly.
Cuando llega el flanco decreciente de xin (vemos que xin toma el valor 0) nos vamos inmediatamente al estado q3, dando salida 0 o 1 en zout en función del valor de dly, en base a lo que pide la letra (zout = 1 si dly = 0, zout = 0 si dly = 1).
- Luego el estado q3 es "simétrico" respecto al estado q1; también tiene la función de completar el pulso que se da en zout.
Si la entrada xin sigue en 0 vamos al estado q0, y si vuelve a 1 al estado q2, en ambos casos finalizando el pulso en zout al seguir dando salida 1 (zout = 1 independientemente de zin y dly).
Espero que todo esto haya ayudado.
Saludos,
Juan Pedro.