Coincido con lo que anotaste en el diagrama. Sin embargo hay cosas que no me terminan de cerrar.
“en ese flanco donde pusiste 1, estarías evaluando si ocurre el segundo pulso, ya te enteraste que pasó un pulso.”
En realidad, no sería en el flanco 1 donde te enteras de que pasó un pulso? Lo interpreto como que en el flanco 1, CONRTOL=0 y por lo tanto sabemos que ahí mismo (en ese instante, a menos de retardos) pasó un pulso. Luego, “estarías evaluando si ocurre el segundo pulso”, no entiendo como evaluarías si ocurre o no el segundo pulso. Esta evaluación no la harías fijándote si llega un 0 ó un 1 en CONTROL? Y en ese caso, esto no habría que considerarlo en el flanco 2? Debido a que en el flanco 1 ya sabemos que vamos a tener CONTROL=0, por ser la llegada del primer pulso en ese flanco.
Por otra parte, no hay contradicción entre: “en ese flanco donde pusiste 1, estarías evaluando si ocurre el segundo pulso, ya te enteraste que pasó un pulso.”, y “Cuando CONTROL = 0 te vas a ir al estado "primer pulso detectado (lo llamo Q2)", es ahí cuando detectas el primer pulso.”? Ya que, si detecto el primer pulso cuando paso de Q1 a Q2 (flanco 1), como puede ser que en ese mismo flanco estuviera evaluando si ocurre el segundo pulso? Esto no lo haría en el flanco 2, dependiendo de si CONTROL es 0 ó 1 ahí mismo?
“En ese mismo estado Q2 vas a evaluar si va a ocurrir un segundo pulso o no, que es donde marcaste con 1.”
Por último, aquí me confunde un poco como esta expresada la idea: si estoy en el estado Q2 (según marcaste tu), el flanco 1 ya pasó, entonces no veo como podría evaluarlo en ese flanco.
Y estando en Q2, no queda evaluado en el flanco 2 si ocurre el segundo pulso o no?
Perdón si no me estoy expresando del todo bien, pero se hace difícil plantear bien la duda a través de este medio.
