可以从头分析，按一个扫描周期来。当X000为0的时候，下面所有的状态都是0，当X000为1时，M0为1保持一个扫描周期，导致下周期M2一直为1，在下个周期，y000为1 。当第二次X000为1到来时，M1为1一个周期。下个周期M2 为0，y000输出为0.在后面就是重复了。M2的状态跟y000是一样的。
