同©大学 TONGJI UNIVERSITY Correct of Not? This is correct when the output and the next state are definite. ●Proof: a-d-d-d2… b-e-e-d2… c-∫--f3.Correct of Not? ⚫ This is correct when the output and the next state are definite. ⚫ Proof: 1 2 1 2 1 2 a d d d b e e d c f f f − − − − − − − − −